recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	De-typechecker: converting from a type to a term	Ehud Lamm	2005-03-07 09:11
Forum topic	Phil Wadler's blog	Josef Svenningsson	2005-03-07 00:53
Forum topic	Wanted: platform-independent Standard ML Worth a shot by John Stracke In addition... by William D. Neumann Swap space by John Stracke Swap space by Anton van Straaten Thanks! by John Stracke MLs on Zaurus by Anton van Straaten	John Stracke	2005-03-03 17:42
Story	SPARQL Query Language for RDF Path expressions by Darius Bacon Graph queries as regexes by Dominic Fox Graphs and Objects by Paul Snively Current applications seem ver by Jeen Broekstra A real shame though is that R by Jeen Broekstra No Kidding by Paul Snively IANAW3CL, but... by Matt Hellige I think not by Matt Hellige Anothe cycle-related question by Dominic Fox Looks like Prolog by Dominic Fox	Danny Ayers	2005-03-01 21:48
Forum topic	Linearly Used Continuations Representing Control in the Presence of One-Shot Continuations by Andris Birkmanis	Andris Birkmanis	2005-03-01 15:48
Forum topic	Alex Stepanov's papers Why its all so Bad, and how it can become Good. by John Carter	Paul McJones	2005-02-28 20:44
Forum topic	A paper on the Implementation of Lua 5.0 See also by Alexandre Richer	renox	2005-02-28 18:00
Story	Proof and Counterexample Child care by Charles A Stewart SD05 by Greg Restall SD05 by Charles A Stewart thought you said by zephc Thanks! by Greg Restall Cool typesetting by marco Natural language... by Ehud Lamm A gift for understatement by Charles A Stewart	Ehud Lamm	2005-02-28 13:47
Forum topic	The HM system does not have principal typings for all terms But must it be? by Jim Apple It's less general by Dave Menendez head . head by Jim Apple I don't think so by Dave Menendez How about in Fomega? by Jim Apple You can't do that with System F by Dave Menendez Jim provided some examples as well by Andris Birkmanis Comparing System S to HM∀ by Andris Birkmanis Will need to search later by Andris Birkmanis What are the types, anyway by Serguey Zefirov ...	Andris Birkmanis	2005-02-26 07:26
Story	RDF and Databases "Yes, but..." explained by Ricardo Stuven But what? by xeo_at_thermopylae Yes, but... by Ricardo Stuven Your solution then by Mark Evans Please by xeo_at_thermopylae This type of table already exists. It's very common by Sam Starting from scratch to use less time by Eivind Eklund Moving On by Mark Evans Much Missing in Proposed Table Structure by xeo_at_thermopylae Re: Re: Chandler by Mark Evans ...	Mark Evans	2005-02-26 00:01
first page previous page next page last page