recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Foundations for Structured Programming with GADTs varieties by wnoise not previously discussed? by dbfaken Comments on comments by Jacques Carette Monads for programming by Hank Thediek Hi, by neil ghani Sounds a lot like Sheard's by Philippa Cowderoy But what of the regression? by Scott Johnson And a fine talk too by Jacques Carette	neelk	2008-03-17 21:26
Story	Pure, Declarative, and Constructive Arithmetic Relations Almost by Will Byrd Bedwyr by Paul Snively Available online? by Sjoerd Visscher Welcome to LtU, Prof. by Ehud Lamm Yes, logic programming is macro-expressible. by Daniel P. Friedman Is logic programming macro-expressible? by rebooted How far along we can push the extensional approach by Oleg Retreating from pure Horn clauses by Tim Sweeney Further Analysis by Andrew Moss Purity and Presburger by Charles Stewart ...	Ehud Lamm	2008-03-17 19:38
Forum topic	C - header files CMod by bieberbrueder The D Programming Language by richardc "...thereby by raould makeheaders by e Very interesting! The CMod by naasking Modular Information Hiding and Type Safe Linking for C by Ethan Aubin Of course I have played with by bieberbrueder C - header files by Basile STARYNKEVITCH	bieberbrueder	2008-03-16 13:50
Forum topic	Problematic data structure in functional language Paulson by markt Thanks by fmstephe re: other places to post by raould Additional comment by fmstephe	fmstephe	2008-03-16 13:49
Forum topic	FringeDC Formal Meeting March 22nd at 1PM- Haskell Spectacular: XMonad, Zippers and More!	drcode	2008-03-15 14:12
Story	Oberon Script. A Lightweight Compiler and Runtime System for the Web Then you must find C to be by sfalvo I played around with this by doublec Forgot About That! by Paul Snively I wasn't blaming them. If by Ehud Lamm People outside our field by Derek Elkins I remember Oberon as... by Chris Rathman Wirth by Steven Hugg huh? by sean Re: I Dunno... by Jeff Nowakowski There's this one as well. It by doublec ...	Ehud Lamm	2008-03-15 02:35
Forum topic	Non-null references? 3 stage construction by Ben L. Titzer Cyclone by John Nowak Good point. by Bárður Árantsson I thought I'd heard that it was a big no-no by raould This is invalid â€” undefined behavior by Qrczak sound non-null types are tricky by Dave Herman oh i've done that before. by erickt Ja, worth repeating by raould Null references by dbfaken Thanks! by Mike Hearn ...	Mike Hearn	2008-03-14 21:05
Forum topic	Variation of C's inline conditional Groovy also by joel.neely Overloading operator \|\| does not work here. by Scott Johnson Conditional by Tim Sweeney This expression form would by naasking Would this work better? by kruhft Alternatively by shaurz Not the same by Scott Johnson not beautiful but DRY. by Rahul Gopinath Not standard C, by Scott Johnson ?? looks like I'm in trouble by derekp ...	derekp	2008-03-14 12:18
Story	Data Types a la Carte I agree! This paper does by naasking Athough I'm sad that no one by Ehud Lamm More RT and CS by Matt Hellige I think so by Matt Hellige Thanks. by uchchwhash Sort of... by Matt Hellige Fixed Point? by uchchwhash	Matt Hellige	2008-03-12 23:21
Forum topic	New to FP Joy by Barun Mishra joy by Rahul Gopinath Proof Assistant by Gavin Mendel-Gleason Joy or Forth?? by Barun Mishra I would like to suggest by Rahul Gopinath	Barun Mishra	2008-03-12 14:11
first page previous page next page last page