recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Static Typing for a Faulty Lambda Calculus Anti-Moore's law? by Sriram Srinivasan Focus on the wrong thing by Josef Svenningsson Wow! One thing I'm not clear on... by naasking	neelk	2007-03-09 20:16
Forum topic	Non-Applicative Functional Languages Food for thought by cdiggins You are saying that there by Anton van Straaten Both CPS and ANF by cdiggins jumping in (not pushing or popping) by Anton van Straaten Interesting! My problem with by cdiggins re the radix sort paper: see by Ehud Lamm The algebra of programming by jeremygibbons line noise by J Storrs Hall The "algebra" of programs is by marshall Interpreting the question by Anton van Straaten ...	cdiggins	2007-03-09 17:18
Forum topic	Blending static and dynamic typing Re: imperfect blend by Oleg HW assignment based on this kind of embedding by Dan Licata imperfect blend by Anton van Straaten	dbfaken	2007-03-09 00:44
Story	Ed Felten: Why Understanding Programs is Hard ogres are like onions by Dave going meta by Dave Test Bench VHDL Style by odanet hoare, hints on programming language design by Dave HW and SW by odanet Worse is Better by Carlos Scheidegger Programmable Logic by Chris Rathman It has always seemed to me by Hank Thediek	Ehud Lamm	2007-03-08 19:08
Forum topic	Suse 9.3, vc++, automated buid Hello Ashish,Unfortunately, by erickt	ashish_normica	2007-03-07 09:03
Forum topic	Easy to learn and use Orthogonality by Michael J. Barber Thanks for your answer, note by renox variables and arguments by James McCartney SuperCollider by James McCartney Plenty of good ideas by David Teller OK, I've finally found some by renox Yes, the only real by Gavin Harrison Fairly distinct use cases by Randall Randall So if I read this right... by Wolf Logan Yep by Doug Landauer ...	skaller	2007-03-06 18:34
Story	Propositions as [Types] Thanks! by neelk I fixed the link. by Ehud Lamm Please use a newer link to the paper by andrejbauer Another reason proof irrelevance is important by Dan Licata	neelk	2007-03-06 17:34
Story	On the fact that the Atlantic Ocean has two sides Buddhas are resilient by Anton van Straaten No such thing by Bret Victor Ditto heads of PLT? by Marc Hamann You just canâ€™t criticize anything. by Bret Victor Kay's predictions by Bret Victor that means by remco greve Sturgeon's Law is "Nothing is always absolutely so"... by aed Fellow traveler by Jeff Nowakowski Blues Traveler by aed I suspect Kay's "rebuttal" paper is apocryphal by Isaac ...	Luke Gorrie	2007-03-05 20:39
Story	Finite State Machines in Forth Factor by Daniel Ehrenberg	James Hague	2007-03-05 19:23
Story	The Computer Revolution Hasn't Happened Yet Object don't lose Semantics by Kevin Greer Requiring publishers to know by Philippa Cowderoy Not About Pixels by Kevin Greer Interoperability with who? by renox ps2pdf by sean One can't discuss PostScript without mentioning... by Chris Rathman Yes, That's what I meant by Kevin Greer Sure, but the program's by Philippa Cowderoy Separation of concerns by Andreas Rossberg duality and the desirability of documents by Dave ...	Luke Gorrie	2007-03-04 23:38
first page previous page next page last page