recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	really simple list/newline oriented language oops by gmol Looks like the list monad by Cale Gibbard	gmol	2006-05-11 23:54
Forum topic	Links to research on/in ....	snk_kid	2006-05-11 14:49
Forum topic	Optimization - Symmetric Reductions Algebra of Joy by Greg Buchholz	cdiggins	2006-05-11 04:08
Forum topic	Parameteric Polymorphism from a C++ Perspective (good or bad?) Side-effects by Derek Elkins it is not possible to by Andreas Rossberg Depends on the language by Kevin Millikin Must it be identity? by Dave Griffith I was a bit vague before, so by Ehud Lamm Because of overloading you by Twan van Laarhoven C++ templates are NOT parametric polymorphism by Derek Elkins Can it? by Benjamin D. Cutler Terminology by Ehud Lamm The thing about templates in by Mike Benfield	cdiggins	2006-05-10 20:57
Story	Computer Science Looks for a Remake Proof, correctness and pay-as-you-go by Josef Svenningsson SDV not correctness proof by Mike Hearn Proof carrying code by Josef Svenningsson progress by disillusioned Broken links by Allan McInnes Tools, not types by Olivier Lefevre [OT] Restrict entry in CS? by pkhuong A Practical Theory of Programming by Alan Grosskurth Can we try to foucs the by Ehud Lamm 6/7 years? by Mike Hearn ...	Ehud Lamm	2006-05-10 20:48
Forum topic	The Push Programming Language Not What I Expected by chocolateboy GP by Ehud Lamm Examples? by Mike Hearn	jesuswaffle	2006-05-10 19:38
Story	A note on distributed computing Devil is in the details by Mike Hearn General vs. Specific Issue? by Paul Snively Probably correct by Mike Hearn Is this a political dissertation? by Tim Sweeney This is a classic. Should by Ehud Lamm	Luke Gorrie	2006-05-09 10:33
Forum topic	A Hacker's Introduction to Partial Evaluation Thanks by Darius Bacon Yes! Thanks. by Ehud Lamm Is this what you are looking by Peter A Jonsson	Ehud Lamm	2006-05-09 04:40
Forum topic	Links for Programming Language course videos Here are some: by Aaron Mayerson	mansu	2006-05-09 00:06
Story	Col--an O'Caml syntax extension for easier manipulation of flat records, objects or tuples and conversions from/to CSV file	Paul Snively	2006-05-08 04:33
first page previous page next page last page