recent posts

typetitleauthor sort iconlast post
Forum topicFringeDC Programming Group Formal Meeting- July 12th, 6PM drcode2008-06-22 20:53
Forum topicFringeDC Formal Meeting Oct 11th 6PM- Writing a compiler for a functional programming language drcode2008-10-05 17:42
Forum topicLanguage Oriented Programming drc2008-02-07 05:42
Forum topicLISP basis for computable functions on S-Expressions. Dr.GEorGE2010-03-10 11:29
Forum topicHaskell in the real world: writing a commercial program in Haskell dpmulligan2009-10-10 01:00
Forum topicMonads = lazy, effect types = strict? dpmulligan2009-01-13 02:20
Forum topicICFP 2009 videos dpmulligan2009-10-06 05:15
Forum topicA simple class of Kripke-style models in which logic and computation have equal standing dpmulligan2010-07-24 15:34
Forum topicStandard, simple subset of Scheme for experimentation? dpmulligan2009-10-15 12:18
Forum topicYield Prolog DougRansom2008-07-30 22:45