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 |