Last Updated 07/28/2010

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 |