recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Live coding festival and conference Re: AlgorithmsToday.pdf by raould	yaxu	2007-04-04 23:50
Story	Towards a Mechanized Metatheory of Standard ML	neelk	2007-04-04 18:22
Forum topic	Good parallel algorithms books? auto parallel compilation by markt Wait Free Synchronization by e Might be relevant by Ehud Lamm	Peter Scott	2007-04-04 00:08
Story	Mutable variables eliminated from .NET With both Peyton Jones and by Chad Wellington What goes around comes around by njbartlett In a related story... by Michael Vanier judging by the picture by emery Just in time by Antonio Bellezza New Major Language? by Christian Lindig Thanks ;-) by Ehud Lamm	Anton van Straaten	2007-04-02 05:19
Forum topic	John Backus has passed away Remembering John Backus by Paul McJones Thanks for the fixes! by Carlos Scheidegger A grand old gentleman by J Storrs Hall Sad by Ehud Lamm Ahead of his time by Michael Vanier FORTRAN was my first by Anton van Straaten Corrected by Anton van Straaten Reminds me sadly by Fred LeMaster corrected URL for Turing lecture by Geoff Knauth	Carlos Scheidegger	2007-04-02 04:24
Story	HaMLet-S and Successor ML	Chris Rathman	2007-03-30 16:26
Story	Croquet Project Releases Initial Developer Release Very Interesting News! by Paul Snively Croquet SDK 1.0 Released by Anton van Straaten Re: Croquet by Paul Snively	Dominic Fox	2007-03-29 20:02
Story	F#, a functional language for .Net I know this is very, very by mbishop Yes - it will work with Mono by Robert Pickering Ocaml-IL by Nicolas Cannasse Will it work on Mono? by axxackall	Danny Ayers	2007-03-28 23:42
Forum topic	Mapping language style to ancillary issues? Like I said, I don't think by Ehud Lamm Agreed by raould Lanuages vs. lanuage by raould Assumptions of ancilliarity limit your thinking by Dave Griffith These issues were discussed by Ehud Lamm PoV by raould State of art evolving too fast... by Dave Griffith	raould	2007-03-28 20:45
Story	A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language However by Jacques Carette It is astonishingly hard to by Phil Armstrong The devil rules! by Jacques Carette Decidable checking by Jacques Carette Typing and all that by Jacques Carette Another answer by Adam Chlipala Yes it is when you want certification. by Matthieu Sozeau Undecidability: Is it really so bad? by David Weitzman Typed tactics by Matthieu Sozeau Devil's advocate... by Matt Hellige ...	Paul Snively	2007-03-28 14:31
first page previous page next page last page