Posts By: Derek Dreyer
| Date | Post | Topic |
| 03/18/2012 | Soundness is necessary, but not sufficient | References about the importance of formalism in programming language design |
| 03/03/2012 | Needless (re)posting of a private flame war | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/04/2012 | Not the right way to go about it... | Informed dissent: William Cook contra Bob Harper on OOP |
| 06/24/2011 | This is what functors and structural matching are all about! | modules are anti-modular |
| 06/25/2011 | Huh? | modules are anti-modular |
| 06/25/2011 | Compile means compile | modules are anti-modular |
| 06/25/2011 | Ahead of time? | modules are anti-modular |
| 05/01/2010 | Huh? | Typed Lambda Calculus |
| 05/02/2010 | Implicitly quantified? | Typed Lambda Calculus |
| 11/02/2009 | Well, yeah... | On Understanding Data Abstraction, Revisited |
| 11/02/2009 | Offending textbooks? | On Understanding Data Abstraction, Revisited |
| 11/02/2009 | Confusion over what "abstract data type" means | On Understanding Data Abstraction, Revisited |
| 11/02/2009 | Target audience | On Understanding Data Abstraction, Revisited |
| 11/03/2009 | No complaint | On Understanding Data Abstraction, Revisited |
| 11/03/2009 | It depends upon what the meaning of the word "have" is... | On Understanding Data Abstraction, Revisited |
| 11/03/2009 | CLU is not OO | On Understanding Data Abstraction, Revisited |
| 11/03/2009 | Existentials | On Understanding Data Abstraction, Revisited |
| 09/29/2009 | Typed Scheme | Incremental addition of types and contracts |
| 01/31/2009 | Spoonhower et al.'s space profiling visualization tool | PL Grand Challenges |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |