Posts By: Watson Ladd
| Date | Post | Topic |
| 06/01/2010 | Why isn't first order enough? | Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic |
| 03/20/2010 | I think that is a good idea, | BitC is back |
| 12/04/2009 | Reachability and Scoping Related? | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | I understand it as ensuring | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | Explicit where? | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | It's the same | Why Object-Oriented Languages Need Tail Calls |
| 03/14/2009 | Interesting Architecture | A Tiny Computer |
| 03/14/2009 | Efficiency problem | Linear Logic and Permutation Stacks--The Forth Shall Be First |
| 02/16/2009 | From glancing at the paper | A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler |
| 11/13/2008 | Is all this complexity necessary? | The Origins of the BitC Programming Language |
| 08/12/2008 | Dead link | Differentiating regions |
| 06/15/2008 | Break on GC | Preemptive concurrency via compiler-inserted checks |
| 09/13/2007 | I don't know if finding errors exactly is possible | Generating useful errors in a functional stream parser |
| 03/18/2007 | Consistent and Complete? | An Intensional Type Theory: Motivation and Cut-Elimination |
| 11/17/2006 | It can't be done | Second Life Faces Threat to its Virtual Economy |
| 11/17/2006 | Not really | Second Life Faces Threat to its Virtual Economy |
| 09/22/2006 | What about earlier langauges? | Marc Andreessen: A Web Odyssey |
| 09/17/2006 | Concurrent C | Concurrency made easy? |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |