jdh30

typetitleauthorlast post sort icon
Forum topicThe Meta-LtU Thread Leon P Smith2009-06-14 13:43
Forum topicCourse on Interactive Computer Theorem Proving Based on Coq Paul Snively2008-10-23 11:10
Forum topicpoll: syntax Givas2008-01-25 02:00
Forum topicExamples of large-scale functional language projects Luke Flemmer2008-01-06 18:44
Forum topicQuantifying the Performance of Garbage Collection vs. Explicit Memory Management naasking2007-12-19 17:20
Forum topicErlOCaml dbfaken2007-11-15 16:57
Forum topicComputing is a Natural Science Hank Thediek2007-10-15 20:49
Forum topicDynamic interactivity in Mathematica 6 Sean McDirmid2007-08-15 23:51
Forum topicThoughts about the Best Introductory Language shlomif2007-05-01 05:23
Forum topicWhy Johnny can't code Matthew Willson2007-01-04 22:54
StoryPractical OCaml Matt Hellige2006-11-14 13:41
Forum topicWhat are the real benefits of FP? dataangel2006-07-09 20:03