recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	erlang green threads and the CLR There's more if things like by naasking Extending the Haskell by naasking Like Haskell? by Brandon Moore I'm just talking about by Luke Gorrie ... what about the manycore by lmeyerov Their users will be doing by naasking Distel for other languages by Leon P Smith Re: ETOS by Leon P Smith ETOS by Luke Gorrie How To Implement the Distributed Erlang Protocol by Luke Gorrie ...	addmoreice	2008-06-11 15:21
Story	Back to the future intermediate language by random enabling translation by Rys McCusker On my mind by raould it seems productive to by Ehud Lamm time travel trends by Rys McCusker	Ehud Lamm	2008-06-11 06:05
Forum topic	using foldr to do map thanks, that did it by jdgallag Right idea by Leon P Smith Correct by Neil Madden	jdgallag	2008-06-10 23:28
Forum topic	what a type system always proves vs. what it can be made to prove OK then ;-) There are all by Ehud Lamm I'm not Ehud... by Paul Snively I think you get it by bdenckla I am a bit baffled and I am by Ehud Lamm Over-precise types boomerang? by Doug Landauer progress report by bdenckla Domain specific type systems by James Iry Exactly by Paul Snively Maybe this is helpful.... by neelk thanks by bdenckla ...	bdenckla	2008-06-10 17:56
Forum topic	help with understanding combinatory logic Scheme-based exposition on combinators by fruehr Two sources by sigfpe Rosetta stone by mikestay Hindley and Seldin by Marlene Miller I second that! by cdiggins How to transform lambda-calculus programs to combinatory logic by Sameer Sundresh The best non-programming intro is likely... by Chris Rathman	happycow	2008-06-10 08:13
Forum topic	What kind of a category is the blue calculus? composition by mikestay One thing to note is often by Derek Elkins	mikestay	2008-06-09 16:50
Story	Map-reduce-merge: simplified relational data processing on large clusters scan by mrd the authors don't deny that by Thomas Lord Relational operations are useful outside the RDBMS context by Scott Johnson why not scan as well? by gregory_v_wilson I don't think the authors by Manuel J. Simoni When the only tool you have is a hammer... by ade_oshineye	Manuel J. Simoni	2008-06-08 05:13
Forum topic	2008 ICFP Programming Contest	Tim Chevalier	2008-06-06 21:43
Story	Types Considered Harmful A more nuanced take on the distinction... by Scott Johnson Pierce's view of typing by Eivind Eklund It says in the slides by jorend Channeling PKD by Philippa Cowderoy Democratic type systems by Daniel Yokomizo It wants generalising a by Philippa Cowderoy Not parametric polymorphism by Daniel Yokomizo you add type inference to by naasking There's still the issue of type inference and blame by Scott Johnson Type erasure is our friend by Daniel Yokomizo ...	Chris Rathman	2008-06-06 17:06
Story	Will Wright Presents Spore... and a New Way to Think About Games 8 days? More like 8 years... by Nuno Cruces Artists vs. Programmers Given "Procedural X" by Paul Snively TANSTAAFL by Marc Hamann DSL perspective by Andris Birkmanis Employment factor by Marc Hamann Human factor? by Andris Birkmanis Artists vs. Programmers Round 2 by Marc Hamann Kolmogorov again? by Andris Birkmanis "Procedural Manifesto" by Neil Madden Procedural? by Andris Birkmanis ...	Ehud Lamm	2008-06-06 16:30
first page previous page next page last page