dpmulligan

type	title	author	last post
Forum topic	Seeking thoughtful criticisms of functional programming and languages Appel did indeed write a by dpmulligan	scottmcl	2013-03-31 00:40
Forum topic	A simple class of Kripke-style models in which logic and computation have equal standing	dpmulligan	2010-07-24 15:34
Story	A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions Yes, reasoning about your by dpmulligan	cdiggins	2009-10-23 11:46
Forum topic	Course in mathematical logic with applications to computer science Gallier's out of print book by dpmulligan	L Spice	2009-10-19 07:01
Forum topic	Standard, simple subset of Scheme for experimentation? Thanks for all the by dpmulligan	dpmulligan	2009-10-15 12:18
Forum topic	Haskell in the real world: writing a commercial program in Haskell Fixed. Sorry about that! by dpmulligan	dpmulligan	2009-10-10 01:00
Forum topic	ICFP 2009 videos	dpmulligan	2009-10-06 05:15
Forum topic	Monads = lazy, effect types = strict?	dpmulligan	2009-01-13 02:20
Forum topic	Rewriting rules for deducing properties of functions This is a good reference for by dpmulligan	cdiggins	2008-04-07 13:25

Lambda the Ultimate