Posts By: Sean Childs
| Date | Post | Topic |
| 11/12/2011 | Math proofs are robust | math proofs are more robust than computer proofs |
| 11/15/2011 | Sure, that's what we get | math proofs are more robust than computer proofs |
| 11/05/2011 | He's an apple certified | iPhone PL lockdown |
| 12/08/2011 | Given that code is data | iPhone PL lockdown |
| 12/09/2011 | So ... | iPhone PL lockdown |
| 12/09/2011 | Well naturally :p.In any | iPhone PL lockdown |
| 03/07/2010 | Something like this? | Alternative method for defining statically typed variables |
| 03/25/2008 | Click here. | STEPS Toward The Reinvention of Programming: First Year Progress Report |
| 02/15/2008 | What about multiple | Recursive Algorithms that cannot be expresses with Tail-Recursion? |
| 02/16/2008 | What if you had an | Recursive Algorithms that cannot be expresses with Tail-Recursion? |
| 02/07/2008 | Maybe it's | Project LambdaCan |
| 02/04/2008 | Related Stuff | Languages and data conversions. |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |