Posts By: dpmulligan
| Date | Post | Topic |
| 07/13/2010 | A simple class of Kripke-style models in which logic and computation have equal standing | A simple class of Kripke-style models in which logic and computation have equal standing |
| 04/20/2010 | Appel did indeed write a | Seeking thoughtful criticisms of functional programming and languages |
| 10/15/2009 | Gallier's out of print book | Course in mathematical logic with applications to computer science |
| 10/14/2009 | Standard, simple subset of Scheme for experimentation? | Standard, simple subset of Scheme for experimentation? |
| 10/15/2009 | Thanks for all the | Standard, simple subset of Scheme for experimentation? |
| 10/09/2009 | Haskell in the real world: writing a commercial program in Haskell | Haskell in the real world: writing a commercial program in Haskell |
| 10/09/2009 | Fixed. Sorry about that! | Haskell in the real world: writing a commercial program in Haskell |
| 10/04/2009 | ICFP 2009 videos | ICFP 2009 videos |
| 10/04/2009 | Yes, reasoning about your | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
| 01/11/2009 | Monads = lazy, effect types = strict? | Monads = lazy, effect types = strict? |
| 04/07/2008 | This is a good reference for | Rewriting rules for deducing properties of functions |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |