Lambda the Ultimate Weblog Topics
Last Updated 04/02/2007

Posts By: David Weitzman

  Date    Post    Topic  
03/23/2007Undecidability: Is it really so bad?A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language
02/07/2007Crash-only softwareTermination Checking with Types
08/21/2006AgreedClosures for Java or money back
01/15/2006The way I'm hoping this problPaul 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

Chris Rathman/