jdh30 | Lambda the Ultimate

jdh30

view
track

type	title	author	last post
Forum topic	The Meta-LtU Thread Commiserations by jdh30	Leon P Smith	2009-06-14 13:43
Forum topic	Course on Interactive Computer Theorem Proving Based on Coq Awesome! by jdh30	Paul Snively	2008-10-23 11:10
Forum topic	poll: syntax Typeset by jdh30	Givas	2008-01-25 02:00
Forum topic	Examples of large-scale functional language projects Update? by jdh30 OCaml, Scala and Mathematica by jdh30 Vested interests by jdh30 OCaml vs F# by jdh30 Constructive criticism by jdh30 Common Lisp by jdh30 APL by jdh30 Lisp in industry by jdh30 Re: "Lisp is dead" by jdh30 ML vs Lisp by jdh30 ...	Luke Flemmer	2008-01-06 18:44
Forum topic	Quantifying the Performance of Garbage Collection vs. Explicit Memory Management Average vs worst case performance by jdh30	naasking	2007-12-19 17:20
Forum topic	ErlOCaml Good idea! by jdh30	dbfaken	2007-11-15 16:57
Forum topic	Computing is a Natural Science Science by jdh30	Hank Thediek	2007-10-15 20:49
Forum topic	Dynamic interactivity in Mathematica 6 Mathematica 6 looks incredible by jdh30	Sean McDirmid	2007-08-15 23:51
Forum topic	Thoughts about the Best Introductory Language Nuts and Bananas by jdh30 Yes by jdh30 Higher-order modules and first-class functions by jdh30 Research by jdh30 Incest by jdh30 What is a programming language? by jdh30 More by jdh30 True by jdh30 Matlab is... by jdh30 Examples by jdh30 ...	shlomif	2007-05-01 05:23
Forum topic	Why Johnny can't code F# for children? by jdh30 Maths for programmers by jdh30 OCaml and OpenGL by jdh30 Imperative vs functional by jdh30	Matthew Willson	2007-01-04 22:54
Story	Practical OCaml OCaml Wiki by jdh30 The other OCaml book by jdh30	Matt Hellige	2006-11-14 13:41
Forum topic	What are the real benefits of FP? OCaml vs C++ by jdh30	dataangel	2006-07-09 20:03
next page last page