recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Sunday November 26th - Lisp/Scheme Presentation in DC	drcode	2006-11-22 00:13
Forum topic	Language Oriented Programming I think you guys missed the point by Kean Lau MPS isn't enough? by Kean Lau The problem is that I'm very by Matt Hellige Probably Already Do by Timm Murray Re: DSL vs. Library by Jorgen Schaefer > You are assuming that "read by Laurence Tratt Reading source code. by Eivind Eklund This is getting a bit silly by skybrian > I would check the informal by Laurence Tratt Failure is only an opportunity to begin again more intelligently by Andris Birkmanis ...	drc	2008-02-07 05:42
Forum topic	LISP basis for computable functions on S-Expressions. On the topic of Sparta by Rehno Lindeque proving minimalism by Thomas Lord Class dispatching does not by Jules Jacobs Church encoding by Matt M Decides whether to -- but how? by johnwcowan Exactly. If you have macros by Jules Jacobs No problem by Matt M the problem with that.... by Ray Dillinger Wrap the then and else forms by Jules Jacobs Why do you need normal order by Anton van Straaten ...	Dr.GEorGE	2010-03-10 11:29
Forum topic	ICFP 2009 videos Thanks, Dominic. As you can by Ehud Lamm Thanks by Geoff Knauth Hurrah, Graham and Malcolm! by Philip Wadler this is a great precedent. by Noam	dpmulligan	2009-10-06 05:15
Forum topic	A simple class of Kripke-style models in which logic and computation have equal standing Proof theory for untyped lambda calculus by Gabbay Curry-Howard Correspondence by Ohad Kammar affinity with Curry Howard ? by Spyros Komninos	dpmulligan	2010-07-24 15:34
Forum topic	Standard, simple subset of Scheme for experimentation? Felleisen's pure scheme by Charles Stewart There's plenty of small by neelk Thanks for all the by dpmulligan Chibi Scheme, perhaps? by johnwcowan Maybe R3RS? by cdiggins plt dialects? by raould plt dialects? by raould	dpmulligan	2009-10-15 12:18
Forum topic	Haskell in the real world: writing a commercial program in Haskell Tools by stonemetal A better reference by yminsky too much recursion by yminsky Minsky by Z-Bo Mostly... by neelk Refactoring by Charles Stewart Fixed. Sorry about that! by dpmulligan Broken link by John Stracke	dpmulligan	2009-10-10 01:00
Forum topic	Monads = lazy, effect types = strict? Thanks for the concise by naasking Types, lots of types...! by neelk What would be the by naasking It's what I do in Ocaml, too... by neelk I've gone with monadic IO in by Philippa Cowderoy Monads in strict languages by Peter A Jonsson Lazy languages have an by Philippa Cowderoy Asking back by Kay Schluehr	dpmulligan	2009-01-13 02:20
Forum topic	Yield Prolog Thanks! by thomash Yield Prolog 1.0 Released by jefft "Yield Horn Clauses" by jefft Hate to be pedantic... by grant Nice! by Vladimir Slepnev Prolog in Javascript by Sjoerd Visscher	DougRansom	2008-07-30 22:45
Forum topic	Should let be generalized? Is this really a problem with generalized let? by Ray Dillinger Right on by Douglas McClean GADTs are bizzare, type classes arent relations, and Tim's right by Matt M Top-level vs other by Tim Sweeney Good point by Douglas McClean None of the above by Matt M Outside ACM Paywall by James Iry	Douglas McClean	2010-03-12 21:18
first page previous page next page last page