recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	A Garbage-Collecting Typed Assembly Language The extent of checked logic? by naasking	Ehud Lamm	2006-12-04 21:36
Forum topic	if Records - Labels = Tuples then Rows - Labels = what? I was simply extending it by Daniel Yokomizo That is not dead, which can eternal lie... by Frank Atanassow Just out of interest, how by Philippa Cowderoy IMO it's better to provide by cdiggins And Now for Something Completely Different by Daniel Yokomizo Kind of rows by Andreas Rossberg Gaster and Jones by cdiggins SML by Daniel Yokomizo	cdiggins	2006-12-04 01:57
Forum topic	Stephen Wolfram forecasts the future For the paranoid, the by Brooks Moses Thanks for that....... by estrabd I learned cellular automata by Kragen Sitaker I read all of it, too. His by estrabd Re: explanation? by Jeff Nowakowski Maybe it means that people by Fred LeMaster explanation? by shahbaz Here are some little less by Kay Schluehr urg by jimdesu	Curt Sampson	2006-12-03 04:23
Story	Recursion Parallel Prolog	James Hague	2006-12-01 22:59
Forum topic	Distributed Meta-Programming	naasking	2006-11-30 20:27
Story	Cheat Sheet lambda math by shahbaz Good point by Chris Rathman Not at all my undergrad course by steven_h very useful! by shavenwarthog Looks indeed like one year by Kay Schluehr In theory, theory really refers to theory by Albert Y.C. Lai	Chris Rathman	2006-11-30 14:31
Forum topic	Outage	Anton van Straaten	2006-11-29 23:59
Forum topic	New Object Model Demo Well... by rhat PMD by Brian T Rice Nice example by Denis Bredelet -jido Ah by rhat slate homepage, with the papers i think by slom Not enough info by Denis Bredelet -jido	rhat	2006-11-29 19:11
Forum topic	Proofs that do things Yoneda lemma by genneth Terminological confusion by Kay Schluehr Typechecking is verification by ericbodden Haskell can do some of the proofs itself by Oleg	genneth	2006-11-28 11:36
Story	The Theory of Parametricity in Lambda Cube	Jim Apple	2006-11-27 13:52
first page previous page next page last page