Lambda the Ultimate

type	title	author	last post
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman I think this was a joke. I by gasche But I wanted first class by gasche Effects by gasche a 5 minutes PhD thesis ? by gasche Pimp my library by gasche One more lengthy post by gasche Invention by gasche Static type systems enforce semantics by gasche	puredanger	2011-11-19 23:37
Forum topic	Share: a programming environment for loosely bound cooperation Summary, interesting bits and discussion by gasche	Sean McDirmid	2011-11-19 23:33
Forum topic	Is the Expression Problem Fundamental? Intersection types by gasche Principal typings again by gasche Some type systems are I-modular by gasche	David Minor	2011-11-16 21:59
Story	The Experimental Effectiveness of Mathematical Proof [OT] and the year of publication by gasche	Paul Snively	2011-11-12 12:16
Forum topic	How to determine your new language is perfect? LLVM IR is a compiler IR by gasche	Mats	2011-11-11 02:37
Forum topic	"Crutches in language design", accidental complexity and feature overlap Unconvinced by gasche unified tuples and records by gasche Thank you for the reference. by gasche	gasche	2011-11-07 11:46
Story	What needs to be done? In defense of lists by gasche	Ehud Lamm	2011-11-07 05:29
Forum topic	extending functions vs. extending objects Quite bogus claim, but nice talk by gasche	raould	2011-11-07 02:03
Story	Dennis Ritchie passed away C-- is a cold-blooded reptile by gasche	Ehud Lamm	2011-10-29 02:45
Forum topic	Can I express variable occurence ranges in logic? abdmaL by gasche	j4n bur53	2011-10-19 10:10
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
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