recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	HOPL III and the History of Haskell For easy reference by Ehud Lamm Projects with a vision should interact only occasionally by Peter Van Roy The future of Oz by Peter Van Roy No Oz paper in HOPL III by Peter Van Roy GvR seeking early-user memories for Python HOPL entry by Leo Richard Comerford Static semantics by Andreas Rossberg ACM by Sjoerd Visscher Formal semantics by Sjoerd Visscher Best text ever read about Haskell by Achilleas Margaritis Pretty good track record by Chris Rathman ...	Chris Rathman	2007-05-28 07:16
Forum topic	Total Functional Programming Not sure about the fib definition by Jasonw Programs in Coq by Brandon Moore Nothing's wrong with Coq (excepting for its popularity...) by Gavin Mendel-Gleason The original paper by Moggi... by neelk This idea was often by Derek Elkins Partial functions are types by Scott Johnson Non-turing completeness by svembu no kidding by jimdesu What's wrong with Coq by nwhitehe And don't forget currency by Chris Rathman ...	Greg Buchholz	2007-05-27 20:18
Forum topic	Tom: Piggybacking rewriting on java	polux	2007-05-26 15:46
Forum topic	Nested data parallelism in Haskell (video)	magnus	2007-05-26 03:52
Forum topic	Does these constructs solve the expression problem? Thank you, that looks by Ahnfelt You may wish to see... by Paul Snively It appears that there's more by Ahnfelt Inexhaustive pattern matching by Tess Foley Oh, you're absolutely right. by Ahnfelt You don't seem to mention by Felicia Li Svilling	Ahnfelt	2007-05-25 22:51
Forum topic	Picky libraries, picky languages? I agree by Leland McInnes Sweet by raould Praxis expected by raould The design discussion for by Ehud Lamm JML has some support by Leland McInnes See: Sized Types by naasking RIP Sather by raould Re: wouldn't it be great by raould The only thing I can think by Wolf Logan	raould	2007-05-24 20:52
Forum topic	DbC + OPascal == Chrome Re: Spec# by raould Looks interesting by Leland McInnes	raould	2007-05-24 19:58
Story	Synthetic Computability Iteration #2 by Charles Stewart No effective topos here by andrejbauer	Charles Stewart	2007-05-24 14:51
Forum topic	What's in a name: eval vs apply. Stack-based, face it. :) by Anton van Straaten I see by cdiggins Down with functions :) by Anton van Straaten More than what appears on the surface by cdiggins Side-effects. by cdiggins Dequoting == Function Application by cdiggins term rewriting perspective by Anton van Straaten Good points. by cdiggins Eval & apply are not interchangeable by Anton van Straaten Side effects? by Scott Johnson ...	cdiggins	2007-05-24 09:23
Forum topic	Error messages As a newbie consumer by raould	J Storrs Hall	2007-05-24 03:32
first page previous page next page last page