recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Computer Aided Formal Reasoning (@ Nottingham)	Ehud Lamm	2006-10-17 15:30
Story	Delimited Control for PLT Scheme Cool! by Ehud Lamm	Dave Herman	2006-10-17 07:36
Forum topic	The US Torture Bill as C code you mean clueless about how by remco greve Of course, there's always by Jeff Nowakowski <- == Less Than or Minus? by Chris Rathman hmm... <- works just fine to by rmalafaia Oh I miss my 3270 terminal... by sigfpe Ah by Koray Can What he's saying is that if by Jeff Nowakowski design time by rmalafaia Mostly Right... by Paul Snively "frequently" by sean ...	Ehud Lamm	2006-10-15 11:09
Forum topic	Tom 2.4 Released strategies and tactics by Antoine Reilles programming by strategies by polux	Antoine Reilles	2006-10-14 17:08
Story	A Madman Dreams of Turing Machines	Matt Hellige	2006-10-13 21:31
Forum topic	Tradeoffs between Unique Types and Monads Sure. It's also possible to by Philippa Cowderoy With a pure implementation i by Felicia Li Svilling Perhaps... by Achilleas Margaritis A pure implementation of the by Philippa Cowderoy I can't see how you'd get by Philippa Cowderoy Actually you could use by Felicia Li Svilling Well... by Achilleas Margaritis The foundations are totally by Philippa Cowderoy Thanks. But... by Achilleas Margaritis But they're not... by genneth ...	mjstahl	2006-10-13 12:47
Story	Ruby the Rival You know functional by Felicia Li Svilling Maybe this is mentioned already. by Achilleas Margaritis "The higher you catch the dee by rmalafaia Stretching forth and back by Andreas Rossberg So you think that a good lang by Niki Estner Syntactic types and splitting definitions by Anton van Straaten So you think that a good lang by Karsten Wagner Please by Andreas Rossberg ...To put as much as possible by Niki Estner Generics can only create Clas by Karsten Wagner ...	segphault	2006-10-13 12:01
Story	Debugging Backwards in Time ocaml's debugger by Marcin Stefaniak Couldn't this be done fairly by Srikumar Subramanian Retrieving references in the new Eclipse milestone by ericbodden Annoying presentation style by Sriram Srinivasan Unfortunately, out of date by Nathan Sobo	Ehud Lamm	2006-10-13 09:53
Forum topic	Languages With Some Form of Implicit Subtyping You can do something with a by Klaus Ostermann	zrxer	2006-10-13 07:20
Story	LogFun - Building Logics by Composing Functors	Anton van Straaten	2006-10-13 02:19
first page previous page next page last page