Lambda the Ultimate Weblog Topics
Last Updated 10/27/2008

Posts By: Dan Licata

  Date    Post    Topic  
04/11/2008just to clarify a bitMechanizing the Metatheory of LF
04/17/2008just to clarify a bit more :)Mechanizing the Metatheory of LF
03/20/2008A logical account of evaluation orderRole of Types in Evaluation Strategy
08/08/2007I did a little class projectCloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams
03/08/2007HW assignment based on this kind of embeddingBlending static and dynamic typing
03/03/2007Another reason proof irrelevance is importantPropositions as [Types]
09/16/2008"Dependent types"Applied Type System vs. Epigram

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

Chris Rathman/