Posts By: Rob Simmons
| Date | Post | Topic |
| 03/07/2012 | I think what you're reading | What does focusing tell us about language design? |
| 05/21/2008 | If by efficiency, you mean termination | Linear Logical Algorithms |
| 10/12/2007 | Questions | Object level unification |
| 03/22/2007 | STLC - the "Hello World" of proof assistants | The New Twelf Wiki |
| 07/24/2009 | I think this was not the | Finding Landin's "The Mechanical Evaluation of Expressions" |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |