recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	On creating an ad hoc assembly interpreter to aid studying seriously! by BigZaphod and NEXT... by Matt Hellige Audience by Peter McArthur make it typed...for LtU by shahbaz Audience by Derek Elkins	soapdog	2007-09-22 00:33
Forum topic	Allowing Unsafe Rules in Datalog? I think in the recursive by mental safety and datalog by VJ Kumar	mental	2007-09-21 02:55
Forum topic	Decayed Memoization Different cost by Marc Hamann Memory allocation in Maple by Jacques Carette Maple by SamK Yes, AKA Caching by SamK online version by dbfaken Maple has it by Jacques Carette Memoisation as an operational constraint by Roly Perera Another name for... by Marc Hamann	SamK	2007-09-21 02:09
Forum topic	Online video course on monads My favourite example of a natural transformation is from CS by sigfpe η is not fmap. fmap is by Derek Elkins outsiders by James Riordan new stuff by Jason Dusek one object blues by Jason Dusek As an aside, I would advise by Jason Dusek Not for outsiders by renox Answers by Derek Elkins Exercise to the reader by Derek Elkins Why a monoid is a one object category by sigfpe ...	renaud	2007-09-20 22:37
Forum topic	Lambda Calculus: fixed point theorem help Thanks by ilSignorCarlo Makes sense... by Matt Hellige Well, I read the fixed point by ilSignorCarlo Depends on the context... by Matt Hellige What I miss, maybe, is that by ilSignorCarlo Next step by JeffB It is right by Matt Hellige I think it is: YF = ( \f. by ilSignorCarlo Hint by Ronny Wichers Schreur	ilSignorCarlo	2007-09-19 23:09
Story	DivaScheme But we go through cycles in by Kay Schluehr what do you mean? It's by rmalafaia Monoliths by Chris Rathman It's full of cars by Anton van Straaten and Emacs has been doing it by rmalafaia Strong Static Type Systems by Gavin Harrison I agree: comments shouldn't be whitespace by cdiggins comments: new rule by Thomas Lord autocompletion details by dyoo comment s-exp notation by Rys McCusker ...	Ehud Lamm	2007-09-19 08:46
Forum topic	FringeDC Formal Meeting 1PM Saturday Sept 22nd	drcode	2007-09-18 22:44
Story	Rob Pike on Concurrency and Message passing in Newsqueak Lots of room for future work... by Pinku Surana Communication in the actor by Simon Kongshoj Yes, but it redirects to... by MarkM internal google site by James McCartney http://go/squintingatpowerseries by James Eberle a clue by Dave Herman unanswered by patrickdlogan references in semantics? by Dave Herman CSP library approaches by Isaac Gouy CPS and channel passing concurrency by Derek Elkins ...	Ehud Lamm	2007-09-17 17:08
Forum topic	Extending HM type inference -- would this be possible? Or even desirable? Instead of enriching the expressiveness of types ... by Yann Régis-Gianas Statically assuring the absence of head [] errors by Ingo Wechsung Statically assuring the absence of head [] errors by Oleg Polymorphic Variants by Mike Furr Looks like this will be a promising weekend by Ingo Wechsung Refinement by Matthieu Sozeau Totality Checker for Haskell by Peter A Jonsson You could be writing ... by Kalani	Ingo Wechsung	2007-09-16 13:28
Forum topic	Reconstructing Abstractions Much appreciated by cdiggins program transformation by dbremner Atsushi Ohori by Derek Elkins Refunctionalization by Chung-chieh Shan	cdiggins	2007-09-15 21:16
first page previous page next page last page