recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Plugging Haskell In	Matthew Morgan	2005-09-13 02:17
Story	twill: an extensible scriptlet language for testing web apps Haskell version? by mattmunz	Ehud Lamm	2005-09-12 17:41
Story	Every language you never wanted to know Updating the whereabouts of the Virtual Unknowns list by bruce_axtens	andrew cooke	2005-09-12 07:51
Story	Threads Cannot be Implemented as a Library Java Memory Model by John Brophy FYI by Dave Griffith You may be taking too narrow by Ross Smith I don't get it. by tom_seddon Hmm by John Stracke "Microsoft's interest" by qu1j0t3 Aha, thanks for the info (I a by Achilleas Margaritis ...or i don't touch things wh by Ross Smith You haven't had problems beca by Achilleas Margaritis You haven't had problems beca by Ross Smith ...	Ehud Lamm	2005-09-11 23:57
Story	Ruby on Rails: An Interview with David Heinemeier Hansson Sheep by samphillips While I agree with the genera by Curt Sampson Smarter by PJ Hyett True, Ruby is perhaps more ha by Matthew Willson Oops by Matthew Willson Well I expect you could cook by Matthew Willson I could only wish by jimdesu except.... by jimdesu The way I deal with Java Projects by therandthem J2EE crap by Kooch ...	Ehud Lamm	2005-09-10 18:10
Forum topic	Combining Theorem Proving and Programming Right -- I just assumed that by neelk kln(2) by Ehud Lamm DML? by Greg Buchholz iirc there's work on the cost by andrew cooke Linear types plus Xi's DML... by neelk Yes, that one. by Daniel Slaney Combining Theorem Proving and XXX by Jacques Carette Noether by Greg Buchholz Noether's theorem by Daniel Slaney Type enforced conservation laws by Greg Buchholz	carter	2005-09-09 22:32
Forum topic	More forum spam	Ehud Lamm	2005-09-08 15:14
Story	A Bialgebraic Review of Regular Expressions, Deterministic Automata and Languages	Ehud Lamm	2005-09-08 13:16
Story	JExamples koders doesn't seem better -- not for Java by el-vadimo Yes by Ehud Lamm koders.com and gonzui by gabriele renzi	Ehud Lamm	2005-09-07 15:37
Forum topic	Etech 2006 CFP	Ehud Lamm	2005-09-06 08:54
first page previous page next page last page