recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
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	Logic for Philosophy Good call by Charles Stewart There's also Burgess's by Ehud Lamm It was moved. I fixed the by Ehud Lamm Link broken by naasking No, but... by Charles Stewart Not online, though, as far by Ehud Lamm Thinking About Logic by Charles Stewart Fault tolerance by Thomas Strathmann Damn. by barsoap Multi-valued logic... by Winheim Raulsh	Ehud Lamm	2008-01-28 09:20
Forum topic	Axioms and Theorems for a Theory of Arrays Value of the paper by Charles Stewart	Greg Buchholz	2008-01-28 08:59
Forum topic	foundations for J, APL etc Link to Trenchard More Array Theory paper posted by fruehr That survey is exactly what by naasking Generics by sigfpe Rank by Ehud Lamm A better example? (and Trenchard More's Array Theory) by fruehr It seems like you want something like a view by stevechy Shape polymorphism? by shoe APL and vector-like data types by Tim Sweeney I mean that the encoding of by shoe I don't really understand what's being asked... by Gavin Harrison ...	shoe	2008-01-27 19:55
Forum topic	Question from Pierce's Types and Programming Languages Oh I see, it's like this: by markt I see how the lhs can be by Philippa Cowderoy	markt	2008-01-27 14:47
Story	Recycling Continuations I've been looking for this paper. by Derek Elkins	neelk	2008-01-25 23:03
Forum topic	MapReduce And with that in mind... by Scott Johnson I'll buy that... by Scott Johnson Battle for student mindshare by Anton van Straaten Similar counter argument by James Iry When all you have is a hammer... by Scott Johnson MapReduce in the news again by Tim May MapReduce in Cat (explanation and one-liner) by cdiggins please do introduce me to by jaylac no messenger access most of the day by shahbaz Falcon, Will u be available by jaylac ...	jaylac	2008-01-25 06:00
Forum topic	poll: syntax Logo by Jack Waugh Monads... by Gavin Harrison I wasn't trying to start a by lennart Psychology by Dave Lopez Lawyers as End User Programmers by Peter J. Wasilko Typeset by jdh30 Alas, I suspect that this by Ehud Lamm Nitpick by Scott Johnson Journals published in .DTF by Scott Johnson Lawyers and programming, oh my! by Tim May ...	Givas	2008-01-25 02:00
Story	Open Multi-Methods for C++ Color me curious, too... by Paul Snively Even without it evolving, by Gavin Harrison Multi-methods are not being integrated by Mathias Gaunard OK I bit.. by James McCartney Section 6 deals with related by Ehud Lamm How does this compair to . . . by Ed Keith Thanks...but: by Achilleas Margaritis Back to the future by raould Is any of this related to by Ehud Lamm C++ GC by Paul Snively ...	Ehud Lamm	2008-01-24 17:49
Forum topic	Type-safe printf using delimited continuations, in Coq soon is... by Matthieu Sozeau Coq 8.2 by Paul Snively I don't know how "parsec-style" it is... by Paul Snively Excellent, A double wammy! by Gavin Mendel-Gleason Coq version by Matthieu Sozeau Great! by Paul Snively Russell status by Matthieu Sozeau Nice! by Paul Snively	Matthieu Sozeau	2008-01-24 14:36
first page previous page next page last page