Lambda the Ultimate

type	title	author	last post
Story	Native delimited continuations in (byte-code) OCaml A month behind... by Jacques Carette	Ehud Lamm	2006-04-12 22:38
Forum topic	McBride Derivative paper Species by Jacques Carette	keithb	2006-02-28 23:33
Forum topic	Bruce Tate: Technologies that may challenge Java The IDE is the language by Jacques Carette	shahbaz	2006-01-12 06:01
Story	The undergraduate language course: what to do? The students seem to be able to handle it by Jacques Carette What about at the graduate level? by Jacques Carette	Chung-chieh Shan	2005-12-27 15:53
Forum topic	The Type-System-Feature-Creep Death Spiral Make it partial computation by Jacques Carette	jesuswaffle	2005-11-02 17:15
Forum topic	new GUI paradigm	Jacques Carette	2005-10-14 15:00
Story	Distributive laws for the Coinductive Solution of Recursive Equations Fix link please by Jacques Carette	Ehud Lamm	2005-09-14 02:56
Forum topic	Combining Theorem Proving and Programming Combining Theorem Proving and XXX by Jacques Carette	carter	2005-09-09 22:32
Forum topic	Learning to Program with Alice (not Mozart/Oz ML) We are trying it by Jacques Carette	Isaac Gouy	2005-08-31 00:31
Forum topic	"dynamic" generative programming? Definite description by Jacques Carette	bdenckla	2005-06-30 16:37
Forum topic	Basic(er) Simple(r) Type Theory(?) You were successful by Jacques Carette Notation by Jacques Carette Discrete Math for CS by Jacques Carette	jimdesu	2005-06-18 20:25
Story	Differentiating Data Structures Andre Joyal... by Jacques Carette	Ehud Lamm	2005-05-28 15:17
Forum topic	Context Free: Grammars as Graphics Combinatorial Structures by Jacques Carette	MtnViewMark	2005-05-27 01:09
Forum topic	Virtual Machine and Runtime Framework Seen that before by Jacques Carette	Nicolas Cannasse	2005-04-29 13:41
Forum topic	How widespread are inhouse DSLs? In Maple and at Maplesoft by Jacques Carette	Ehud Lamm	2005-04-19 16:42
Forum topic	History: Array languages Maple/Mathematica by Jacques Carette And Maple too by Jacques Carette	James Hague	2005-02-17 12:06
Story	Code Generation with Python, Cog, and Nant General versus specific by Jacques Carette The pseudo-doctor is in session by Jacques Carette but when a language is sick... by Jacques Carette But when you do get it by Jacques Carette	Ehud Lamm	2005-02-13 19:13
Forum topic	Incompleteness in semantics and parallel-or Aha! by Jacques Carette	Jacques Carette	2005-01-14 03:32
Forum topic	Definition of Type Hmmm by Jacques Carette	cdiggins	2004-12-09 11:42
Forum topic	Grad School [Master's Programs] McMaster University by Jacques Carette	tofupup	2004-10-31 01:08
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation