recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	type-checking programs with unknown types HM + type dynamic by Chung-chieh Shan Thank you by Adrian Quark Complete Type Inference by Derek Elkins Whole point of WSDL by Adrian Quark Not a good example by Sjoerd Visscher	Adrian Quark	2008-06-30 07:18
Forum topic	Implicitness in Syntaxes Semantics First by Metonym	Jack Waugh	2008-06-29 03:35
Forum topic	SWI-Prolog FFI Problem: Getting Prolog and C to work together on MacOS? Don't Bother by Burton Samograd Industry examples by raould Indeed... by Leon P Smith Not just "theory", but by Ehud Lamm Sorry.. by Gavin Harrison	hWnd	2008-06-25 15:20
Forum topic	New language for kids: Scratch - Logo meets Squeak Smalltalk? Comparison to ToonTalk? by Jack Waugh Not news by Charles Stewart Awesome! by Matt Hellige Build a block by Charles Stewart Very nice. It feels very by Ahnfelt In the news by Anton van Straaten There are some abstractions... by Todd Coram No abstraction? by Yaron Minsky Scratch has been released. by Todd Coram	Todd Coram	2008-06-25 10:08
Forum topic	Breaking region nesting in type-and-effect systems? I just noticed this: In the by naasking Brief summary: Typing Safe Deallocation by naasking Statically safe resource deallocation by Oleg Typing Safe Deallocation by naasking The paper Matthieu provided by naasking It can be done but... by Greg Morrisett Thanks for the reference. by naasking Hope this helps by Matthieu Sozeau	naasking	2008-06-24 17:03
Forum topic	Writing a new language - ideas? or your GUI demonstration, by Achilleas Margaritis physical types? by windozer Not if only I use the by windozer You know what that means? by David Teller Make sure you can write your by David Teller What is in a library by windozer The dirty laundry of theory by Scott Johnson No user libraries? by Scott Johnson Solving new problems is by Alexandre Lark Your ideas by windozer ...	windozer	2008-06-24 16:47
Forum topic	PUSH programming language Links by Anton van Straaten	sur707	2008-06-24 16:30
Story	LASER Summerschool on Concurrency The question was directed by Ehud Lamm rethorical? by Rafael Fixed by Anton van Straaten missing the link by eddie.welker Bertrand Meyer by Ehud Lamm Herlihy's book, by Scott Johnson	Erik Meijer	2008-06-24 03:03
Forum topic	Lambda in the Sun - Southern California Functional Programmers	James Iry	2008-06-24 02:50
Story	Project Coverage	Ehud Lamm	2008-06-24 02:41
first page previous page next page last page