recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Stutter Invariance wiki says by Hank Thediek Also confused by stevechy	mohan_vbh	2007-09-15 11:01
Story	Squeak by Example First Edition now available by Oscar Nierstrasz	Ehud Lamm	2007-09-14 14:23
Story	Compositional type systems for stack-based low-level languages Thanks. by cdiggins That's different from Cliff's work by dr2chase Typo by Scott Graves Compositional type inference by cdiggins References/definitions of "Compositional Type System"? by dr2chase	cdiggins	2007-09-14 03:14
Story	Database Abstraction Layers and Programming Languages What does everyone do about very complex reports? by PSR you may even point out the Cr by gabriele renzi RDBMS lost to marketing? by Andris Birkmanis Open-source Databases by Mark Evans Just felt like mentioning... by Michael Walter To Map or Not to Map by Paul Snively Right tool for the right job by Kory Markevich yuck by greg travis Safety by Luke Gorrie 'Cause we have to... by Marc Hamann ...	Ehud Lamm	2007-09-13 19:46
Forum topic	Generating useful errors in a functional stream parser I don't know if finding errors exactly is possible by Watson Ladd explicitly reified error nodes by Rys McCusker Sure, but also just by Ehud Lamm Out of interest, would you by Philippa Cowderoy I'll answer nevertheless. by Serguey Zefirov Slightly off topic by Ehud Lamm	Alex Rubinsteyn	2007-09-13 16:14
Story	Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus	Ehud Lamm	2007-09-10 16:07
Forum topic	[ANN] Vodka: Join concurrency, multimethods and generators (thesis project) Interesting by Dave Lopez	Tiark Rompf	2007-09-09 11:33
Forum topic	Compile-time meta-programming in Metalua and Converge	Isaac Gouy	2007-09-08 19:52
Forum topic	Examples of Categorical Semantics for Languages with Dependent Types Thanks for the pointer, this by Thorvaldur Thorvaldsson Seconded by Charles Stewart Syntax and Semantics of Dependent Types by Wouter Swierstra Good Reference, but the Approach Requires a lot of Machinery by echinuz Categorical Logic and Type Theory by Bart Jacobs by Thorvaldur Thorvaldsson	echinuz	2007-09-08 02:04
Forum topic	What is a state? It's a great question by Paul Snively Motivation for Suggestion by Paul Snively Humans are curious by by rmalafaia It sounds like... by Kay Schluehr Another example by Anton van Straaten Narrowing Focus by Paul Snively Shifting goalposts by Philippa Cowderoy thanks! by rmalafaia The Slope Isn't That Slippery by Paul Snively Guesses are cheap by Anton van Straaten ...	Hank Thediek	2007-09-07 13:41
first page previous page next page last page