recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Understanding continuations Remembrance of things past... by Matt Hellige C'mon! SICP's great but none by Luke Gorrie Would that I could find my by Luke Gorrie [OT] I definitely shouldn't by Koray Can Unfortunately that simple by Philippa Cowderoy Monads are structures that enforce patterns. by Achilleas Margaritis there is no try by Anton van Straaten Maybe that's true once you by sean [re-parented] by sean Symbol Slinger by Marc Hamann ...	Keith Devens	2006-12-06 23:43
Forum topic	Explaining monads Monads describe higher-order by Philippa Cowderoy There's a spectrum to such things, as you say? by raould A trade-off by renox Abstractions by kaveh.shahbazian Monads are Inversion of Control au naturel by kaveh.shahbazian I was discussing arrows in by Philippa Cowderoy Enough arrows by marco The dangers of abusing terminology by Philippa Cowderoy Good, HOCs then by marco Get serious. by shap ...	Ehud Lamm	2009-01-30 11:43
Forum topic	Old computer science and technical books worth searching for Non-correspondence, part deux by Per Vognsen Non-correspondence by Frank Atanassow Confused about something by Per Vognsen Old and new computer science by Frank Atanassow Long division by Frank Atanassow Another "arithmetic & types" idea (but remember Burge!) by fruehr Generating Functions From Outer Space by Per Vognsen neat! by Dave Herman A bit of calculus by Andris Birkmanis Wild guess by Andris Birkmanis ...	James Hague	2004-07-23 18:01
Forum topic	Looking for the source of a quote It's from SICP by Dave Benjamin	Jim Apple	2004-07-15 05:23
Forum topic	Summary of techniques / approaches / models / languages for parallel computation There's an old book by Filman by Darius Bacon Before anyone objects... by Ehud Lamm Is industry... by Andris Birkmanis Don't feel too bad by Ehud Lamm the more i learn, the more my by andrew cooke Secret language? by Andris Birkmanis thanks! by andrew cooke A couple of references by Ehud Lamm	andrew cooke	2004-07-19 11:27
Forum topic	Why type systems are interesting This is what assertions are for. by Ray Dillinger Confirming what we know by Philippa Cowderoy Humans know more interesting properties than the compiler by Achilleas Margaritis Humans and compilers usually know different properties by Daniel Yokomizo there is still knowledge by Philippa Cowderoy Of course it's easier, but I didn't mean that. by Achilleas Margaritis Types and annotations and speed by James Iry Sure industry does by Scott Johnson The industry does not care about this distinction though. by Achilleas Margaritis An important distinction by Achilleas Margaritis ...	Anton van Straaten	2010-03-08 19:47
Forum topic	Full abstraction is not very abstract (via comp.lang.scheme)	Dave Herman	2004-07-15 19:11
Forum topic	ll-discuss's new home wasn't subscribed by Dave Herman i was moved automatically by andrew cooke Is an RSS feed also available? by Ehud Lamm Gmane by Luke Gorrie Promoted to home page by Ehud Lamm	Dave Herman	2004-07-16 17:30
Forum topic	AOP Without The Buzzwords PVR is on vacation by Mark Evans now all we need is paul graha by andrew cooke Oz AOP by Mark Evans	John Heron	2004-07-16 22:02
Forum topic	CÏ‰ Preview Available XML vs PL schema by Marcin Stefaniak graph traversal by pantagruel A losing bet by Dominic Fox Well, by Dominic Fox rdf != rdf/xml by pantagruel There's a choice of syntaxes for RDF by Dominic Fox rdf by pantagruel Re: FWIW by Mark Evans Re: RDF v XML by Mark Evans FWIW by Frank Atanassow ...	aelij	2004-07-30 22:10
first page previous page next page last page