Lambda the Ultimate

type	title	author	last post
Story	The Trouble with Erlang General : no weaker than necessary outside the comfort zone by gasche Emotional context by gasche Interesting but possibly opinionated by gasche	Charles Stewart	2011-10-14 03:57
Forum topic	Redesigning the Mozart virtual machine I was looking for this one by gasche No, I don't think it's by gasche partially known values by gasche Support for yet-undefined data and unification by gasche	Peter Van Roy	2011-10-04 22:20
Forum topic	Language/Compiler design blogs? I thought of it while by gasche Some pointers by gasche	Azh	2011-10-04 09:20
Story	Google's "The Future of JavaScript" internal memo leaked "closed" versus "open" by gasche Interesting, too soon/closed to say, and slightly frightening by gasche	Z-Bo	2011-09-27 16:31
Forum topic	Forum Topics and Story Noise in one place can be structure in another by gasche A terse interface for a rigourous discussion by gasche Naming by gasche	Henry Luo	2011-09-24 17:53
Forum topic	Yield : Mainstream Delimited Continuations; "yield" from different languages compared and formalized Thanks, fixed. by gasche	gasche	2011-09-12 01:22
Forum topic	State of objects The usual way is that the by gasche	Mats	2011-09-09 17:55
Forum topic	quite "old" books discussion Notes by gasche	Sebastian	2011-09-01 12:10
Forum topic	Candle - a new script language that unifies XML technologies But you also have new by gasche	Henry Luo	2011-08-24 00:46
Forum topic	The this argument in dynamic programming languages with OO and first-class functions Bi-duality by gasche Translate the explicit into the implicit by gasche	Tom Primožič	2011-08-22 19:36
Forum topic	ECOOP 2011 slides Slideshare is a pain by gasche	Manuel J. Simoni	2011-08-11 21:48
Story	Lightweight Monadic Programming in ML See comments by gasche	Paul Snively	2011-08-10 20:39
Story	Yacc is dead Russ Cox : Yacc is Not Dead by gasche	James Iry	2011-08-10 17:06
Forum topic	Is it possible to write code that works the very first time? Spec can (and sometimes must) be light by gasche	M Riccobene	2011-08-10 11:43
Forum topic	Implementor's guide/tutorial to delimited continuations? The naming is consistent by gasche	Manuel J. Simoni	2011-08-02 18:56
Forum topic	Why is tail call optimization an issue in GC'd languages? Methodology by gasche One problem with your example by gasche I'd like to point out that by gasche	Sriram Srinivasan	2011-08-02 09:20
Forum topic	F*: A Verifying ML Compiler for Distributed Programming A melting pot of type system hotness by gasche	Charles Torre	2011-07-28 22:00
Forum topic	Knockout JS ATS by gasche	raould	2011-07-28 05:57
Forum topic	The Last Language? "build morphisms externally" by gasche The converse by gasche More by gasche Programming languages syntax is not tree-form because of binding by gasche Arithmetic is a red herring; by gasche Formal is forever incomplete by gasche Have we completely explored the language space? by gasche	Dominic Fox	2011-07-20 14:51
Forum topic	Interview with Scala's Martin Odersky Scala style checker by gasche Disappointing by gasche	Sean McDirmid	2011-07-16 13:49
Forum topic	Monads in C++ Reformulation by gasche Monad is not the point by gasche	Bartosz Milewski	2011-07-15 23:24
Forum topic	Of Course ML Has Monads! Two questions by gasche ST monad is a type system: safe but limited by gasche Type parameters by gasche	Ohad Kammar	2011-07-14 14:24
Forum topic	Why Programming Languages? "System-wide" gets you only so far by gasche	Andy Wingo	2011-07-03 04:39
Forum topic	Middle History of Logic Programming Logic/Functional languages by gasche	Hewitt	2011-06-28 02:49
Forum topic	modules are anti-modular Extensionality in danger? by gasche	el-vadimo	2011-06-27 17:31
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation