recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Wadler's Blog: Penn, PADL, POPL, and Plan-X Fixed. Thanks. by Ehud Lamm The two links you provided by naasking The best way to predict the future... by Ehud Lamm A DSEL for Probabilistic Programming by steven777400 Not really a list comprehension by leemarks groupBy in list comprehension? by shahbaz	Ehud Lamm	2008-04-09 19:45
Forum topic	Gilad Bracha: Cutting out Static I'm not so sure it creates by lodi fly in the ointment by el-vadimo My problem is that the by naasking maybe I should just do type by Denis Bredelet -jido Polymorphism can hide a capability by Denis Bredelet -jido Stack overflow by Derek Elkins This is indeed the case, but by mental One lingering issue is what by naasking Sorry I cannot make sense of by Denis Bredelet -jido strictness analysis by el-vadimo ...	Matt Hellige	2008-04-09 15:48
Story	Scheme macro systems Syntax-case algorithm by Sam Tobin-Hochstadt Poor discussion of syntax-case by Sam Tobin-Hochstadt Where do low-level macro facilities hide? by Charles Stewart	Manuel J. Simoni	2008-04-07 19:52
Forum topic	Rewriting rules for deducing properties of functions Twelf by Charles Stewart This is a good reference for by dpmulligan Rippling is cool by cdiggins Great stuff by cdiggins Not too hard.. to be useful by Matthieu Sozeau Working on similar problems.. by Bryan Turner "providing the compiler with by cdiggins Two problems by Matthieu Sozeau Found the Pettorossi paper by cdiggins A Good Book by Marc Hamann ...	cdiggins	2008-04-07 13:25
Story	Software Craftsmanship: Apprentice to Journeyman Some sort of answer. by Noel McBreen by Allan McInnes I've got an Addison Wesley by seizethedave Re: feedback by ade_oshineye More detail needed? by Noel	Daniel Yokomizo	2008-04-07 08:43
Story	April 1st special: The War of the Worlds Semantics semantics by Matt M Drawbacks may be overstated by Philippa Cowderoy IIRC, monad is a term like by Matt M Monad Transformers by Peaker Thanks for the detailed by Matt M Monad Tutorials by bhurt-aw STM is a language change by Daniel Yokomizo Many drawbacks of monads and monad transformers by Oleg Bathtub insights... by Matt Hellige I think there are advantages by Matt M ...	Ehud Lamm	2008-04-06 15:50
Forum topic	trying to see forum+frontpage posts in order Creation vs. last post by raould Which order? by Anton van Straaten Doesn't Chris's index do by Ehud Lamm	raould	2008-04-03 23:15
Forum topic	Overloading in a statically typed functional language Thank you very much. by Alex Rubinsteyn A couple of approaches by Daniel Yokomizo	Alex Rubinsteyn	2008-04-01 20:49
Forum topic	Extensible Pattern Matching via a Lightweight Language Maybe because it was pretty by Matt M How come nobody had anything by Ehud Lamm	naasking	2008-04-01 14:32
Forum topic	the power of GNU Awk bootstrapping by Thomas Lord cf "GAWK (GNU AWK) for AI?" by Dave Do More by Jason Dusek	el-vadimo	2008-03-31 18:05
first page previous page next page last page