Lambda the Ultimate

type	title	author	last post
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
Forum topic	Should method names be (module-) scoped? It depends by Sjoerd Visscher	Manuel J. Simoni	2009-10-04 15:38
Forum topic	Categories, the homemade object system That's a lot of text and very little information. by Sjoerd Visscher	mikel evins	2009-08-31 04:50
Story	Richard Feynman and the Connection Machine Article has moved by Sjoerd Visscher	Luke Gorrie	2009-06-08 11:11
Forum topic	the Chinese natual language Sometimes english is special by Sjoerd Visscher	Zhu Chongkai	2009-06-01 13:06
Forum topic	Deriving Functions to Work on Different Types of Data Check out Haskell's applicative functors by Sjoerd Visscher	Jules Jacobs	2009-05-31 10:45
Forum topic	Generating nested data types at runtime I second this. by Sjoerd Visscher	rob myers	2009-03-22 17:56
Forum topic	Declarative layout and/or UI languages? Ideas from CSS by Sjoerd Visscher	naasking	2009-02-18 10:05
Forum topic	Non-standard type theories for FP I agree by Sjoerd Visscher My feeling is that your idea should work by Sjoerd Visscher	marco	2009-01-25 03:59
Forum topic	"Determinism" of types? Related discussion by Sjoerd Visscher	ellisk	2009-01-06 17:36
Story	Worlds: Controlling the Scope of Side Effects JavaScript! by Sjoerd Visscher	Luke Gorrie	2008-10-09 23:54
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