recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	A modern eye on ML type inference - Pottier 2005	cdiggins	2006-12-23 00:00
Story	A Model for Formal Parametric Polymorphism: A PER Interpretation for System R Thanks! by neelk Link by Charles Stewart	neelk	2008-01-28 20:50
Story	A Mobility Calculus with Local and Dependent Types Use blockquote for by Ehud Lamm	Niels Hoogeveen	2006-06-20 12:47
Forum topic	A Million Actors, Safe Zero-Copy Communication - for Java A proposal for Java 8...? by Denis Bredelet -jido	Isaac Gouy	2008-06-20 22:07
Story	A Methodology for Generating Verified Combinatorial Circuits More references by Oleg They are not the same. Difficulties of the FFT generation by Oleg Another version by Darius Bacon	Ehud Lamm	2005-05-14 04:05
Forum topic	A Manufacturer's Perspective on PL Progress Oh, I'm not against scripting languages at all by John Cowan Oh, I'm not against scripting languages at all by John Cowan Oh, I'm not against scripting languages at all by John Cowan Oh, I'm not against scripting languages at all by John Cowan Oh, I'm not against scripting languages at all by John Cowan Kind classes by shap Template Metaprogramming. by Ray Dillinger That's a bit strong by shap Conflicting Goals by cpurdy c++ will have modules by marco ...	shap	2022-10-02 17:33
Story	A Madman Dreams of Turing Machines	Matt Hellige	2006-10-13 21:31
Story	A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler From glancing at the paper by Watson Ladd Java-like language by Denis Bredelet -jido See also by shap	Allan McInnes	2009-02-16 15:44
Forum topic	a logic of precedences. Suggestions speculating about the relation based precedence system entry by fbraunin the workflow that I want to by fbraunin Reminds me of a few things... by Neil Toronto I was simply providing some by LexTrotman That's the burden this system avoids by fbraunin Why not? by LexTrotman	fbraunin	2011-05-24 23:50
Story	A Logic for Parametric Polymorphism	neelk	2007-04-13 22:27
first page previous page next page last page