recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Tunes create context like language Tunes, not TUNES by Andrei Formiga	andrew cooke	2004-06-22 14:47
Forum topic	Tuples, functions, ghost functions and higher order functions	hbrandl	2012-04-30 14:55
Forum topic	Turing Extender Language (TXL) great paper! by shahbaz	Chui Tey	2005-04-14 06:26
Story	Turning down the LAMP: Software specialization for the cloud Here's a recent talk about by naasking Do you want to support by Anil Madhavapeddy W/ regards to benchmarks by Z-Bo Yeah, Mesos is a really by Anil Madhavapeddy Where can I find this by Anil Madhavapeddy Or, see Mesos, gaining in by lmeyerov Benchmark? by Z-Bo Language-driven OSes by Z-Bo	Tommy McGuire	2010-11-06 15:40
Forum topic	Turning every module into a functor automatically? thanks, that is cool. by raould It is by Andreas Rossberg It did by Charles Stewart Thanks by Matt M is it real? by raould Link fixed by Charles Stewart Broken link by Matt M Item notation by Charles Stewart Yes by Matt M Fixed by Matt M ...	Manuel J. Simoni	2009-09-29 18:05
Story	Turnstile+: Dependent Type Systems as Macros architects and programmers by dmbarbour dup by dmbarbour yes - we've been here before by Mark Tarver yes - we've been here before by Mark Tarver it seems obvious by chrisoliver re oh really by dmbarbour Oh really? by chrisoliver Formalism and sapience by dmbarbour separating issues by John Shutt Are humans intelligent? by an AI by dmbarbour ...	Charles Stewart	2021-08-17 17:18
Story	Tutorial on Good Lisp Programming Style For some reason by Anders Horn PDF version by raould Nice rant, but offtopic by Dave Lopez Nice tutorial, but you should by em	Luke Gorrie	2010-05-06 03:28
Forum topic	Twenty Reasons Why You Should Use Boxer (Instead of LOGO) some docs by raould Came across readable today by Chris Warburton Re:Availability by darkmage35@hotmail.com Unfortunately even the Mac by Jeremy Penner Alternative input formats. by Michael Moser good idea by Michael Moser Virtual machines to the by lmeyerov PL historians and archeologists by Sean McDirmid Availability? by Philip Wadler	Sean McDirmid	2013-04-01 20:31
Forum topic	Twenty-First Century Compilers Legal? Yes. by Bryan Turner That legal? by Scott Johnson Online Chapters by Bryan Turner Release Date Inaccurate by Hajime Inoue check the aw site by kabel release cancelled? by shahbaz Just to make the amazon entry by Niels Hoogeveen Nice book by Ehud Lamm Read Elements of ML book not long ago by Chris Rathman Good news by Ehud Lamm ...	Scott Johnson	2005-12-06 00:38
Story	Twilight of the GPU Mere? by Greg Buchholz You are assuming that CUDA by Sean McDirmid Applicative Order Y-combinators by edwinjose Think that's done already by dataangel Compiler technology by Andreas Rossberg C++ already does array programming by Mathias Gaunard Fair enough... by shap Real-Time GC by Peter A Jonsson Some background reading by Mattias Engdeg "In the long run stacking by Tim May ...	Noel	2009-02-06 16:44
first page previous page next page last page