recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Jean Ichbiah passes away Beaujolais effect by Ehud Lamm	Ehud Lamm	2007-02-04 11:54
Story	Separation Logic: A Logic for Shared Mutable Data Structures Tie-In by Paul Snively you still need to reason by Ehud Lamm A monad lets you nicely by neelk Trouble with the link? by Hank Thediek I'll bite by Dave Herman	neelk	2007-02-04 05:34
Story	RZ for Constructive Mathematics in Programming [Style fixed] by Jim Apple Thanks! by Ehud Lamm [Style] by Ehud Lamm	Jim Apple	2007-02-03 21:49
Forum topic	[RFC] Cat: A Typed Functional Stack Based Language I'm not sure imperative vs by Philippa Cowderoy Age of stack-based languages by cdiggins my comments by dbremner Quote is typed correctly by cdiggins The type of quote by Sjoerd Visscher	cdiggins	2007-02-03 20:46
Story	Generic Programming, Now! On further reflection... by Chris Rathman Closer? by Greg Buchholz What language are you using for the code? by Chris Rathman Not exactly the same. by Achilleas Margaritis Haskell by Greg Buchholz How about making typing completely implicit? by Achilleas Margaritis	Ehud Lamm	2007-02-02 23:34
Story	New RSS Feed(s) [admin] moved by Anton van Straaten rss by zproxy Thanks! by shapr Topic title for comment RSS feed by Anton van Straaten Re: staying logged in by Dave Herman Re: staying logged in by Anton van Straaten staying logged in by Dave Herman I'd like to second this. I'm by Keith Devens Re: NNTP News? by Anton van Straaten meanwhile, you could try nntp//rss by Doug Landauer ...	Anton van Straaten	2007-02-02 21:05
Forum topic	Want to do undergraduate research, but CS dept is weak... Respect the chops! by Bijan Parsia Chops? by MTaylor Plus one for autodidacts by cdiggins I don't know how by Will Benton Good points. I tend to agree by Ehud Lamm Autodidactism and its limits by Bijan Parsia Great tips... by MTaylor I think Chris is right as by Ehud Lamm I'm not an Admin... by Chris Rathman Arguably On-Topic for The Thread by Peter J. Wasilko ...	MTaylor	2007-02-02 14:39
Forum topic	A reflective functional language for hardware design and theorem proving Don't know, but... by Allan McInnes Actually, you can download by Serguey Zefirov Lava by un_brice	Allan McInnes	2007-02-01 05:31
Forum topic	The Accessibility of PL Research Papers on Mobile Devices Sure, feel free to discuss by Ehud Lamm Let's Form An Offline [Publication Format] Working Group by Peter J. Wasilko Let's keep this thred short. by Ehud Lamm Hear, hear! by marcoil PDF is almost open by Chad Brewbaker	Peter J. Wasilko	2007-01-31 22:04
Forum topic	Looking for extra-basic reference on PL theory Thanks for the suggestions! by Jeremiah another book by Boyko Bantchev If it's theory you want, I by Ehud Lamm Concepts in Programming Languages by Thomas_C Thanks! by Ehud Lamm Whoops by Jeremiah User names by Ehud Lamm Speaking of books by Chris Rathman Books? by Anton van Straaten	Jeremiah	2007-01-31 13:39
first page previous page next page last page