Posts By: David Weitzman
| Date | Post | Topic |
| 03/23/2007 | Undecidability: Is it really so bad? | A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language |
| 02/07/2007 | Crash-only software | Termination Checking with Types |
| 08/21/2006 | Agreed | Closures for Java or money back |
| 01/15/2006 | The way I'm hoping this probl | Paul Vick: Language Design & Paying the UI "Tax" |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |