Lambda the Ultimate

type	title	author	last post
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
Story	Announcing Ozma: extending Scala with Oz concurrency Impressive by gasche	Peter Van Roy	2011-06-27 12:23
Forum topic	Yet another programming language with customizable syntax Related work? by gasche	Lavir the Whiolet	2011-06-24 09:03
Forum topic	Catamorphisms and anamorphisms = general or primitive recursion? "Constructive" argument by gasche	Blaisorblade	2011-06-20 22:37
Story	Specification and Verification: The Spec# Experience Very interesting indeed by gasche	Allan McInnes	2011-06-10 04:46
Forum topic	Open wiki-like code repository A new related discussion on the Erlang mailing list by gasche	Sean McDirmid	2011-05-30 19:19
Forum topic	The Architecture of Open Source Applications In effect by gasche I have bought the book after by gasche	Manuel J. Simoni	2011-05-25 23:15
Story	Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit Clojure seen from ML by gasche	neelk	2011-05-23 20:26
Forum topic	Eero, an Objective-C Dialect Syntax only by gasche	andyarvanitis	2011-05-21 20:33
Forum topic	Iteration function in lambda calculus Sorry if this gets a bit by gasche Your message is intriguing by gasche I don't think you need by gasche We could say that one is a by gasche Fun may not be Good by gasche	kmisd	2011-05-06 10:32
Forum topic	Build Your Own Blocks (BYOB) "Convergence in Language Design, ..." by gasche	lmeyerov	2011-04-28 08:47
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