recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Verifying Compiler Transformations for Concurrent Programs Code? by taral	Ehud Lamm	2009-01-12 07:57
Story	What Are The Resolved Debates in General Purpose Language Design? True, the existence of by John Shutt Compatability and Popularity. by Keean Schupke double post. by Keean Schupke In this whole gigantic, by John Shutt Relatively relative by John Shutt symptomatic fexprs by John Shutt . It seems to me that the by Sean McDirmid Nothing is resolved by Keean Schupke DWIM (Do What I Mean) (InterLisp feature) by bshanks It's one of those by Ehud Lamm ...	James Iry	2014-03-31 20:55
Story	On the Strength of Proof-Irrelevant Type Theories Impredicative Sigma quantification by Charles Stewart A few reasons by Matthieu Sozeau Prop vs Type by Tim Sweeney Is my reasoning correct? by Alex1	James Iry	2009-01-16 12:10
Story	Path Feasibility Analysis for String-Manipulating Programs I'm happy to report that the by phooji String rewriting systems by aed Of further interest: by lmeyerov This paper was of course by Ehud Lamm You mean this paper? by Scott Johnson Envelopes, Bananas, Barbed Wire for Strings? by revence27	Ehud Lamm	2009-02-09 02:38
Story	Ziggurat	Ehud Lamm	2009-01-20 07:42
Story	Elephant 2000: A Programming Language for the year 2015 Based on Speech Acts Video interview of John McCarthy by Leon P Smith To reduction, or not to reduce? by Hank Thediek I wonder about your fidelity by Kay Schluehr My comment on Spinoza by marco Do you want to buy AI? by Hank Thediek Ascribing Machine-LIke Qualities to Man by marco I don't think stigmergy by Ehud Lamm well, yes. by Thomas Lord Do you think actual by Kay Schluehr forget Elephant! by Thomas Lord ...	Ehud Lamm	2009-04-20 07:43
Story	Using Promises to Orchestrate Web Interactions Just grab a promise that it by dmbarbour It's a shame the test page by taral	Ehud Lamm	2009-01-22 04:07
Story	PL Grand Challenges 2 3 + 8 * by dmbarbour Maybe a little better than semicolons by marco Mellah yellah by Anton van Straaten Check out Luca Cardelli's by Sean McDirmid ... and what does the brain by lmeyerov Are you calling me yellah? by Matt M Multi-disciplinary development by marco Why is neurolinguistics by lmeyerov Need not be that complex by marco We can only hope by Anton van Straaten ...	Ehud Lamm	2009-02-10 16:09
Story	Project Euler Indeed, it looks like they by mbishop I know that I could be far by Leon P Smith I did a handful of the PE by mbishop Smoke testing; Haskell Wiki by Leon P Smith XSLT, too by dnovatchev Not just Clojure by Matt Hellige PE Popular w/ Clojure Newcomers by Randall Schulz	Chris Rathman	2009-02-07 15:19
Story	Lisp Conference, March 22-25	Anton van Straaten	2009-02-05 14:42
first page previous page next page last page