Posts By: Dan Licata
| Date | Post | Topic |
| 04/11/2008 | just to clarify a bit | Mechanizing the Metatheory of LF |
| 04/17/2008 | just to clarify a bit more :) | Mechanizing the Metatheory of LF |
| 03/20/2008 | A logical account of evaluation order | Role of Types in Evaluation Strategy |
| 08/08/2007 | I did a little class project | Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams |
| 03/08/2007 | HW assignment based on this kind of embedding | Blending static and dynamic typing |
| 03/03/2007 | Another reason proof irrelevance is important | Propositions 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 |