Lambda the Ultimate Weblog Topics
Last Updated 06/09/2007

Posts By: pharm

  Date    Post    Topic  
03/28/2007It is astonishingly hard toA Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language
03/13/2007GADT type-level proofs require runtime checking in Haskell?Concoqtion: Indexed Types Now!
11/28/2006Philip Wadler said...Mechanized Metatheory Model-Checking
05/16/2007email him?Algebra Of Programming (Bird, De Moor)
05/17/2007SentAlgebra Of Programming (Bird, De Moor)
06/08/2007Yes, and no.Algebra Of Programming (Bird, De Moor)

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive

Chris Rathman/