recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	A thought on the design of new low-level languages... ... but last time I looked by snk_kid Yes that is exactly what i by Curtis W Vault ? by David Teller Define "low-level." I'm by snk_kid define by Curtis W	snk_kid	2006-06-14 16:22
Forum topic	A Theory of Typed Hygienic Macros Some advancements by Dave Herman An interesting comparison by catbert Thanks. That's ten times by dmbarbour Conference paper by Frank Atanassow I look forward to reading a by dmbarbour	Jacques Carette	2010-06-20 22:13
Story	A Theory of Distributed Objects	Ehud Lamm	2005-07-03 09:03
Forum topic	A theory of data parallel computing Each processor by Victor Eijkhout sequential consistency by Keean Schupke Doesn't matter by Keean Schupke No. by Victor Eijkhout Sounds the same by Keean Schupke sequential semantics by Victor Eijkhout Performance by Victor Eijkhout Sequential semantics != sequential consistency by Victor Eijkhout Right, but reading the by Sean McDirmid Sequential Semantics by Keean Schupke ...	Victor Eijkhout	2014-08-14 22:16
Forum topic	A Theory of Changes for Higher-Order Languages: Incrementalizing Lambda by Static Differentiation	Sean McDirmid	2014-05-05 00:05
Story	A theory of changes for higher-order languages — incrementalizing λ-calculi by static differentiation Bob Atkey on the connection to parametricity by Blaisorblade Self-maintainable derivatives vs not by Blaisorblade Nice paper. Maybe I didn't by Jules Jacobs Toy language by gasche	gasche	2015-04-24 13:57
Story	A Temporal Logic Language for Context Awareness in Pointcuts AOP's success in the Java camp by Pascal Costanza The weakness of most AOP examples by Anton van Straaten	Luke Gorrie	2007-04-08 18:59
Story	A Tail-Recursive Machine with Stack Inspection Updated link by naasking Thanks! by Charles Stewart Question 9 by Dave Herman Kent Pitman's remark by Charles Stewart Cool paper! by Josef Svenningsson	Dave Herman	2013-10-01 15:34
Story	A System to Understand Incorrect Programs I think you are right. The by Ehud Lamm Attractor Dynamics by Barak A. Pearlmutter Ugh: scanned dot-matrix by gpaci Some neat examples from the 1980 paper by johnwcowan U.S. Air Force interested in Understanding Incorrect Programs by jpost In the same vein by Jean-Luc Delatre	Ehud Lamm	2008-07-25 14:19
Forum topic	A survey and discussion of taming effects But it's not the only use of by naasking I'm Not Positive... by Paul Snively "We donâ€™t need no stinking modules!" by dbfaken with a rich enough type by naasking The Monad Laws by Paul Snively Call-by-value given, what about call-by-name? by naasking Systems programming by Luke Gorrie Filinski's dissertation by Frank Atanassow Full and faithful embedding by Marc Hamann What's the point of effect systems? by naasking ...	naasking	2007-11-28 19:24
first page previous page next page last page