recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	literature on commutative lifted boolean operators Parallel Or by Tim Sweeney	bdenckla	2005-10-07 19:02
Forum topic	gmail Once upon a time... by Ehud Lamm ? by David B. Held [Admin] by Ehud Lamm	Alador	2005-10-07 14:58
Story	Control-Flow Integrity C-Intercal does it with panache by johnwcowan	Ehud Lamm	2005-10-06 20:14
Forum topic	[Admin] Probation	Anton van Straaten	2005-10-06 11:57
Story	Don Box: Scheme Is Love Lisp and Scheme are often t by gfb Aye by Ehud Lamm it's ok by rmalafaia FYI by Anton van Straaten Off-topic by Neil Madden generics by rmalafaia FP in Tcl by Neil Madden What higher-level constructs by dyoo Mental compilation by SBArbeit however by rmalafaia ...	Ehud Lamm	2005-10-06 05:38
Story	Number-Parameterized Types by Oleg Kiselyov link by Greg Buchholz PDF Version? by jimdesu As an aside, it is very readable by raould Yes, mentioned in the related section. by shapr C++? by David B. Held	shapr	2005-10-05 23:24
Story	Variables as Channels Re: oh, wait... by raould I am not a number... oh wait, maybe I am... by Marc Hamann Human Factors by Ehud Lamm Historical context by marco The IO monad itself pretty mu by Philippa Cowderoy ...if you look at the paper a by Klaus Ostermann Which begs the question: by Scott Johnson "it is our opinion that..." by shrimpx Oops by Andris Birkmanis Monad Scaling by Cale Gibbard ...	Klaus Ostermann	2005-10-05 22:45
Story	Propositional Satisfiability and Constraint Programming: A comparative Survey Nice, but, by marco Greatly appreciate links like by Hank Thediek	Ehud Lamm	2005-10-05 20:17
Forum topic	Interesting old promotional video for Intentional Programming Hello, John by marco Re: old video by raould	ruin8r	2005-10-05 19:59
Forum topic	Types and Proof Carrying Code: Mobius	raould	2005-10-05 16:39
first page previous page next page last page