Lambda the Ultimate

type	title	author	last post
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
Forum topic	Nomenclature for impure functions Reader vs. Writer Monad by gasche	Alexandre Cossette	2011-04-28 03:28
Forum topic	The Grafwegen Hi Compiler named Hic release 0.1 Gitorious by gasche	marco	2011-04-24 10:41
Forum topic	Staking Claims: A History of Programming Language Design Claims and Evidence Formal *approximation* by gasche Difficult, not problematic by gasche Formalize your expectations by gasche Author and date by gasche	Sean McDirmid	2011-04-19 23:40
Forum topic	Multi-Return Function Call The advantage is that the by gasche They don't improve clarity but efficiency by gasche Disappointed by "Towards Leakage Containment" by gasche	Matthew Morgan	2011-04-14 05:45
Forum topic	Programming with touch? Nice by gasche	Sean McDirmid	2011-04-13 23:03
Story	Finding and Understanding Bugs in C Compilers I understand, thanks for by gasche You don't have consistency for free, but when exhibiting a model by gasche Gaining confidence in specifications by gasche CompCert by gasche Compilers are mathematical and mechanically verifiable by gasche	James Iry	2011-04-02 07:31
Forum topic	Reference request: running out of countably many variable names Infinite width or infinite depth ? by gasche	Neil Toronto	2011-03-22 10:17
Story	Functor is to Lens as Applicative is to Biplate: Introducing Multiplate lens by gasche	Jacques Carette	2011-03-17 09:27
Forum topic	What to do about comments? Comments, annotations and pragmas by gasche	markt	2011-03-14 18:54
Story	Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 Rather than a guarantee on by gasche	Z-Bo	2011-03-14 05: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