recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Rules of good declarative language design Recursion by Derek Elkins Fixpoint combinators... by Scott Johnson A few more by dbueno fix by Derek Elkins For things used only once, by renox We had many discussions of by Ehud Lamm A few ideas by Scott Johnson Useful notes from the Unix tradition by johnwcowan well by pantagruel I am unaware of such a list, by Ehud Lamm	pantagruel	2007-05-04 16:40
Forum topic	Mind the Gap GAP by Frank Atanassow Cool by Ehud Lamm	pantagruel	2004-07-30 13:30
Forum topic	Encoding Information Flow in Haskell Li and Zdancewic also did by Manuel J. Simoni I assume you mean... by lexfiend	Paolo Martini	2006-07-13 13:07
Forum topic	GPCE'07 Call for Papers	pasalic	2007-03-20 23:52
Forum topic	Tracing in DrScheme Referral by Anton van Straaten	Pat	2007-03-17 07:20
Forum topic	Benchmarking and Statistics bench.erl by Luke Gorrie	pate	2006-12-05 20:27
Forum topic	Will Rubinius be an Acceptable Lisp	pate	2007-01-16 18:28
Forum topic	Haskell V Java type checking More expressive by Andreas Rossberg Well info by JeffB Much closer by Tess Foley Nor do I see anything that connects the data types C and D to th by Patrick Browne functions added by Patrick Browne Where are f and g? by Tess Foley covariance by skaller	Patrick Browne	2011-11-09 17:31
Forum topic	Is lambda calculus a logic? i want an oliver stone movie of that by raould Not Barendregts "bible" by Spyros Komninos Reading the holy book for free by Z-Bo Lest we forget by John Shutt You could also look at by codyroux Lambda calculus is generally by lmeyerov Depends a lot on who you ask by Robb Nebbe Recently on LtU by Marc Hamann	Patrick Browne	2010-07-23 21:42
Forum topic	Approaches to dependent types(DT)	Patrick Browne	2009-07-23 00:08
first page previous page next page last page