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	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	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
Forum topic	Stutter Invariance wiki says by Hank Thediek Also confused by stevechy	mohan_vbh	2007-09-15 11:01
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	Question about the Monad associativity law I like your example, too. by Jason Dusek Yes. Those monads by Philippa Cowderoy Hmm... Let me ask this way: by sciomako (blank post) by sciomako Okay, I'm going to use by Philippa Cowderoy Philippa, you have by sciomako No, in monads that can't be by Philippa Cowderoy I go back to first by sciomako Exactly, just an axiom by marco Great example by JeffB ...	sciomako	2007-10-09 20:57
Forum topic	Compile-time meta-programming in Metalua and Converge	Isaac Gouy	2007-09-08 19:52
Forum topic	Generating useful errors in a functional stream parser I don't know if finding errors exactly is possible by Watson Ladd explicitly reified error nodes by Rys McCusker Sure, but also just by Ehud Lamm Out of interest, would you by Philippa Cowderoy I'll answer nevertheless. by Serguey Zefirov Slightly off topic by Ehud Lamm	Alex Rubinsteyn	2007-09-13 16:14
Forum topic	[ANN] Vodka: Join concurrency, multimethods and generators (thesis project) Interesting by Dave Lopez	Tiark Rompf	2007-09-09 11:33
Forum topic	Examples of Categorical Semantics for Languages with Dependent Types Thanks for the pointer, this by Thorvaldur Thorvaldsson Seconded by Charles Stewart Syntax and Semantics of Dependent Types by Wouter Swierstra Good Reference, but the Approach Requires a lot of Machinery by echinuz Categorical Logic and Type Theory by Bart Jacobs by Thorvaldur Thorvaldsson	echinuz	2007-09-08 02:04
first page previous page next page last page