Posts By: Dan Doel
| Date | Post | Topic |
| 10/10/2011 | Is proper variance compatible with objects/classes? | Google's Dart announced |
| 10/27/2010 | Two types of erasure | Erasure and Polymorphism in Pure Type Systems |
| 10/27/2010 | ICC | Erasure and Polymorphism in Pure Type Systems |
| 02/23/2010 | Dependent records --> Haskell Type Classes | Objects to Unify Type Classes and GADTs |
| 10/04/2009 | What's the use? | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |