recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Haskell is not not ML A guess... by Matt Hellige reminds me of call-by-push-value by Scott Turner SMLofNJ.Susp by Charlie Smart Thermodynamics and Garbage Collection by Ehud Lamm Coincidence by Ethan Aubin Thermodynamics? by Greg Buchholz Fortunately for me, the time by Dave Menendez Hard by Ehud Lamm	Ehud Lamm	2006-01-24 20:23
Story	Spring School on Datatype-Generic Programming 2006 Ada was there first... by Ehud Lamm Datatype genericity by jeremygibbons ITA by Derek Elkins Agents polymorphic in capabilities by Andris Birkmanis Thank you by Allan McInnes One more time, with pith by fruehr thanks by shahbaz Polymorphism versus polytypism by fruehr I meant that the fundamental by Philippa Cowderoy Algebraic datatypes are typef by Neil Madden ...	Ehud Lamm	2006-01-24 19:14
Story	Djinn, a theorem prover in Haskell, for Haskell. Yoneda by Derek Elkins I think even more than that w by carter Relevant Types by ski Systematic search for lambda expressions by Martijn Vermaat Oleg's in-Haskell version by Jim Apple Multiple Programs by KDPRoss Linear Types by Josef Svenningsson The main result isn't that deep by sigfpe It looks deep. I doubt it co by augustss Well by augustss ...	shapr	2006-01-24 18:58
Story	Continuations library for Java Thanks by Ehud Lamm Perhaps stating the obvious, by Anton van Straaten So for something actually in by Ehud Lamm Goals? by Anton van Straaten Linearity by Avi Bryant Extra work by Avi Bryant Status by Ehud Lamm Cool, and appropriate by Anton van Straaten Another continuations library for Java by Nuno Cruces Yes by Vladimir Slepnev ...	Anton van Straaten	2006-01-24 08:22
Story	A Formal Language for Analyzing Contracts	Olivier Lefevre	2006-01-24 05:48
Forum topic	Lambda the ultimate peer review zerg by Capt. Jean-Luc Pikachu Lexicon of Musical Invective by James McCartney I'm a bit unclear by Scott Johnson	Koray Can	2006-01-24 03:32
Forum topic	Referentially Transparent Scheme Thanks! by Benjamin D. Cutler What is a Purely Functional Language by Derek Elkins Tricky by Benjamin D. Cutler you might want to look at cha by andrew cooke "Equal Rights for Functional Objects" implemented? by dbfaken Sure by Per Vognsen Except... by Matt OConnor I see by Dusty DeWeese Henry Baker said it best (as is often the case) by rici Better definition (ignore Wikipedia) by Anton van Straaten ...	mjstahl	2006-01-23 21:14
Forum topic	Dr Jekyll and Mr C	Satrajit Chatterjee	2006-01-23 18:15
Story	Infrastructure Announcement Status summary by Anton van Straaten Tracker comment links fixed by Anton van Straaten this is happening for me too. by James McCartney Names widened by Anton van Straaten OK, I've fixed the user by Anton van Straaten Name truncation regression by Ronny Wichers Schreur Comment links in tracker by Ronny Wichers Schreur It doesn't work if you're by Alexandre Richer Conspiracy by Daniel Yokomizo So far so good by Ehud Lamm ...	Ehud Lamm	2006-01-23 06:49
Story	Mind Mappers Speaking of Sticky Notes by Mark Evans Connections by Mark Evans Application Dev Includes Ontology Dev by Mark Evans RDF loves me, RDF loves me not by Mark Evans semi-automated is perhaps enough? by Frederic Gobry What about dabble-db? by Rafael Cool software now! by Danny Ayers Yet more "mind-mapping" software by Chuck Adams Too Much Work by Noel	Mark Evans	2006-01-22 05:15
first page previous page next page last page