Lambda the Ultimate

type	title	author	last post
Story	Morrow & First-class Labels Reuse by Sjoerd Visscher Subtyping by Sjoerd Visscher The label supports "the call operation" by Sjoerd Visscher Not possible? by Sjoerd Visscher Labels as functions by Sjoerd Visscher	Frank Atanassow	2014-12-28 20:26
Forum topic	Concatenative Language Kont koders.com could be a start by Sjoerd Visscher Arse by Sjoerd Visscher	Chris	2014-10-22 09:15
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) exactly by Sjoerd Visscher Haskell by Sjoerd Visscher	marco	2014-05-26 17:22
Story	The Genuine Sieve of Eratosthenes Shorter version by Sjoerd Visscher	Ehud Lamm	2013-10-26 21:32
Forum topic	When will we all have effect systems? Frank by Sjoerd Visscher	raould	2013-07-01 20:38
Story	On Understanding Data Abstraction, Revisited Wrong link by Sjoerd Visscher	Z-Bo	2012-06-28 01:36
Forum topic	Open data types and open functions I am not a Java programmer by Sjoerd Visscher Unit testing by Sjoerd Visscher In practice by Sjoerd Visscher I don't understand. by Sjoerd Visscher Are we talking about the same openness? by Sjoerd Visscher Off the cuff from me too by Sjoerd Visscher The difference by Sjoerd Visscher As an OO type of person... by Sjoerd Visscher	Jeremy	2012-06-22 02:53
Forum topic	Languages with 'unique' programs Tactics by Sjoerd Visscher	dataangel	2012-06-04 11:11
Forum topic	Feather: A Heapless Functional Programming Language "I'm not sure if monads will be implementable without a heap" by Sjoerd Visscher	bryanedds	2012-05-22 15:31
Forum topic	Embedding Prolog in Haskell Prolog in Javascript by Sjoerd Visscher	Frank Atanassow	2012-02-13 17:04
Forum topic	The evolution of RISC technology at IBM They should have called it PL/1.25 by Sjoerd Visscher	Andy Wingo	2011-10-22 12:53
Forum topic	Data, Codata, and Their Implications for Equality, and Serialization Clear. Thanks! by Sjoerd Visscher μx. β + (α → x) is an isotope of Stream α → β by Sjoerd Visscher	Douglas McClean	2011-10-14 15:45
Story	Lightweight Monadic Programming in ML Eff EDSL in Haskell by Sjoerd Visscher	Paul Snively	2011-08-10 20:39
Forum topic	DanFest 2004 videos online Site is no longer offline by Sjoerd Visscher	Will Byrd	2011-04-24 13:11
Story	Tail call elimination decorator in Python No, this works by Sjoerd Visscher Same thing in Javascript by Sjoerd Visscher	Kay Schluehr	2011-03-28 01:40
Story	Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing Stack-based iso constructors by Sjoerd Visscher	James Iry	2011-02-05 00:39
Story	The Fortress Language Spec v0.618 Precedence by Sjoerd Visscher	Dave Herman	2010-12-13 04:24
Forum topic	expressivity of "idiomatic C++" Ok, let me try the Haskell version. by Sjoerd Visscher Try this. by Sjoerd Visscher	el-vadimo	2010-11-10 22:56
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) compile time loops by Sjoerd Visscher	Greg Buchholz	2010-10-22 21:48
Forum topic	What's the name for this model of computation? It's called de Bruijn notation by Sjoerd Visscher	Matt M	2010-05-17 18:55
Forum topic	Multiple overloads of the bind operator This is more a question for the Haskell Cafe mailing list. by Sjoerd Visscher	giuseppemag	2010-03-08 21:56
Forum topic	Why type systems are interesting Not broken by Sjoerd Visscher The other "every" by Sjoerd Visscher It's not that strange by Sjoerd Visscher	Anton van Straaten	2010-03-08 19:47
Forum topic	Unifying map and mapM through subtyping? Type family tricks by Sjoerd Visscher	Douglas McClean	2010-02-28 14:57
Page	Functional Pearl: Implicit Configurations —or, Type Classes Reflect the Values of Types Available on Hackage by Sjoerd Visscher	naasking	2009-12-28 17:17
Story	Functional Programming Has Reached The Masses; It's Called Visual Basic Typos in examples by Sjoerd Visscher	Erik Meijer	2009-11-01 20:12
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