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