recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	BitC, a new OS implementation language Proving false by dhopwood :-) by Paul Snively Ha ha by Jeff Cutsinger Challenges of verification by shap Reducing bugs in BitC by shap Confusing BitC/P and BitC/L by shap Rationale for a "close to AST" surface syntax by shap BitC and S-Exprs by shap The difference is that progra by johnnyb Re: Type Safety and Concurrency by Paul Snively ...	Alexandre Richer	2005-07-25 19:48
Story	Spec# ESC/Java by dcoetzee Design By Contract by deboeck Rustan by Ben Goetter Dbc for Java by Ehud Lamm K. Rustan M. Leino by raboof JML by Ronny Wichers Schreur Good stuff by Dominic Fox	Ehud Lamm	2005-07-25 18:11
Forum topic	Economics of Programming Languages What you have to say about th by Hank Thediek Whose economy is being optimized? by Chris Rathman Not enough? by Hank Thediek Interacting with the world by David N. Welton Network Effects by Noel We told you so: by Hank Thediek Why care? It's interesting, first of all by David N. Welton I would argue that one does by Hank Thediek Why care? by Dave Griffith I like your analysis. Increm by Hank Thediek ...	David N. Welton	2005-07-25 18:08
Story	General Purpose Cellular Automata Programming DSP by Derek Elkins OT & Thinking out too loud by Michael Walter	Ehud Lamm	2005-07-25 17:44
Forum topic	Kay no longer at HP	Ehud Lamm	2005-07-24 06:01
Forum topic	Sleep, scripting language for Java apps, released	rsmudge	2005-07-20 14:32
Story	Generics are a mistake? Oops by Marc Hamann Nitpick by ski Eckel's comments on Arnold's post by el-vadimo More from Tim Bray by Ehud Lamm And I Still Agree... by Paul Snively Gentle satire not sarcasm by Marc Hamann Sarcasm uncalled for by Andreas Rossberg Any cases where self types don't cut it? by Kannan Goundan A variance over variance by Marc Hamann inclusion polymorphism and parametric polymorphism for dummies by Josef Svenningsson ...	Anton van Straaten	2005-07-17 18:25
Forum topic	Perl6 - PUGS Incorrect -- the first one does not parse. by autrijus Parrot JIT by Qrczak Instrinsic bytecodes -vs- library by slava Re: Ha ha ha by Qrczak Ha ha ha by slava	awwaiid	2005-07-17 17:27
Story	A Concurrent Lambda Calculus with Futures	Andris Birkmanis	2005-07-17 14:05
Story	Abstract interpretation for constraint handling rules	Ehud Lamm	2005-07-17 11:50
first page previous page next page last page