recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Practical Implementation of a Dependently Typed Functional Programming Language	James Iry	2009-04-14 21:00
Story	Semantics of Memory Management for Polymorphic Languages Good references. I hadn't by naasking Garbage Collection Research by Sam Tobin-Hochstadt	James Iry	2009-04-16 00:08
Story	Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time Comparefunction <> Discriminator by pointernil Thanks! by Marc Hamann Nice but... by William D. Neumann Re: Source Code ? by Benedikt Huber He discusses this question by neelk Containers? by Geoffrey Irving Source Code? by Marc Hamann	neelk	2009-05-04 19:29
Story	A Generic Type-and-Effect System	Paul Snively	2009-04-17 17:39
Story	Polymorphic Delimited Continuations From Shift and Reset to Polarized Linear Logic by Leon P Smith	Leon P Smith	2009-04-23 04:24
Story	Branching Time vs. Linear Time: Semantical Perspective Our follow-up paper by sumitnain Updated paper by Allan McInnes Direct link by Anton van Straaten Response by Robin Milner by vardi IO automata vs CSP by marco Different choices (for models and modelers) by Allan McInnes Enabledness by marco Re: Buy Lynch? by Martin Berger Re: The meaning of equivalence by Martin Berger Receptive by Allan McInnes ...	Allan McInnes	2009-10-02 06:02
Story	Purpose-Built Languages Languages also evolve by replacement by shap	Allan McInnes	2009-05-05 15:21
Story	An Interview with the Diamondback Ruby Team	James Iry	2009-05-07 20:15
Story	Achieving Security Despite Compromise Using Zero-Knowledge An awesome new language for developing secure software by Catalin Hritcu	Paul Snively	2009-06-19 10:19
Story	LNGen Fabulous by Gavin Mendel-Gleason	Paul Snively	2009-05-14 09:02
first page previous page next page last page