recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming good start by Vladimir Slepnev Re: Patents by raould Well, I'll be. by Benjamin D. Cutler This is indeed what I was by Ehud Lamm Perl6 by Vladimir Slepnev Python by Vladimir Slepnev Ruby by Vladimir Slepnev Python does allow one to by Ehud Lamm Good question! by Benjamin D. Cutler Type-directed translation by Erik Meijer ...	Erik Meijer	2006-02-05 11:26
Forum topic	Weak vs. strong typing I didn't mean that monads by jorend Even if extremely famous... by Jonathan Tang Sorry by Nicolas Cannasse style or ignorance? by Isaac Gouy Troll? by Ehud Lamm Being ignored by Ehud Lamm Re: JML by raould Style Remains by Peter E Thank's a lot, I did not know these existed. by Achilleas Margaritis Yes. by Achilleas Margaritis ...	Joel Reymont	2006-02-03 18:36
Forum topic	What is a Proposition? Yep by Charles Stewart Analogy in PLs by Niki Estner I'm sorry by Brian Hurt Pragmatically speaking by Hank Thediek propositions and sentences by vc After further consideration... by Chris Rathman Propositions and identity by Charles Stewart "The theorem demonstrates by vc Actually, Godel showed that by vc "As for unprovable by vc ...	andrew cooke	2006-02-03 17:04
Story	Rho calculus My interest by Charles Stewart	Charles Stewart	2006-02-03 17:02
Forum topic	What is a monad, why should I use it, and when is it appropriate? liftM2 by Neil Madden thanks! you've no idea how by andrew cooke It's not just for Maybes by sigfpe Maybe Example... by Greg Buchholz Nifty combinators by Dave Menendez I know this one! (Maybe :-) by Neil Madden ML union by vc For example, say you wanted by andrew cooke No, not really by Charles Stewart A very simple definition by greg travis ...	Jonathan Allen	2006-02-03 10:54
Forum topic	Is the .NET platform embracing quotation and macros? As for macros, on LtU, by Ehud Lamm LINQ by Niki Estner Quotation & macros by Anton van Straaten quoting and macros by Adam K What are quotation and by Jonathan Allen	Steven Shaw II	2006-02-02 11:38
Forum topic	Type Refinements for Programming Languages	Jim Apple	2006-02-02 05:44
Story	The essence of ML type inference	Jim Apple	2006-02-02 05:40
Forum topic	U, a small model combinators by cyarvin terminology by cyarvin Combinator calculus by Mario B. Terminology by Peter A Jonsson actually, I'm amazed and impressed by cyarvin ok, so looking at it again, by andrew cooke even skimming gets you points! by cyarvin only skimmed it, so no comments by Koray Can good comments by cyarvin the optional implicit parens by andrew cooke ...	cyarvin	2006-02-01 20:37
Forum topic	Everything Your Professor Failed to Tell You About Functional Programming Picking some nits by Vesa Karvonen Took Me a While! by Paul Snively Nice summary by Noel Links by Ehud Lamm	mvw	2006-01-31 23:00
first page previous page next page last page