Lambda the Ultimate

type	title	author	last post
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
Forum topic	InfoQ video + transcript of Rob Pike on Go If I used C++, I would pay by gasche	raould	2011-03-11 00:14
Forum topic	Dan Vanderboom's Archetype language Syntax extension patterns by gasche	Cyril	2011-03-10 07:56
Forum topic	Monads vs. Actors I think Matt M's idea was by gasche Monads are much nicer with inference: "result type overloading" by gasche	Sean McDirmid	2011-03-02 21:15
Forum topic	I've run out of programming languages to study Isn't security solved in the common case ? by gasche	Josh Griggs	2011-02-27 03:20
Story	The Semicolon Wars You can prove programs written in Turing-complete languages by gasche I don't know of any such by gasche I'm starting to shink that by gasche	James Iry	2011-02-20 15:00
Forum topic	Extending Syntax from Within a Language That's an interesting point. by gasche furthermore, some macros by gasche already commented elsewhere by gasche	munificent	2011-02-17 01:57
Forum topic	Evaluation strategies: authoritative reference? Is Jensen's Device really about evaluation strategies ? by gasche References are values by gasche	naasking	2011-02-16 02:55
Forum topic	How to Program the Many Cores for Inconsistency Robustness slideshare is a pain by gasche	Hewitt	2011-02-03 14:26
Forum topic	Points in the Pattern Matching Design Space a last suggestion by gasche You're doing an equivalence by gasche Emulation by gasche Case classes and XDUCE by gasche Vague intuition by gasche Binding by gasche	Jules Jacobs	2011-01-26 21:50
Forum topic	guy steele on how (not) to think of parallel programming Weak Memory Models by gasche	Thomas Lord	2011-01-25 05: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