Lambda the Ultimate

type	title	author	last post
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions solves a real problem such as Facebook might have by jeremygibbons	gasche	2015-05-30 21:12
Forum topic	POPL 2014 proceedings available freely for all ACM experiment by jeremygibbons	gasche	2014-02-08 00:34
Story	Rob Pike on Go at Google Indentation-based syntax by jeremygibbons	Ehud Lamm	2013-01-09 22:52
Forum topic	A Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" Dynamic dispatch by jeremygibbons Dynamic dispatch by jeremygibbons	w7cook	2013-01-08 20:02
Forum topic	Help finding a (working ?) paper revisiting the Meijer-Fokkinga-Patterson classic Program Calculation Properties of Continuous Algebras by jeremygibbons	Francois Garillot	2011-08-07 12:08
Forum topic	Catamorphisms and anamorphisms = general or primitive recursion? Bananas in space by jeremygibbons	Blaisorblade	2011-06-20 22:37
Story	Patterns in Functional Programming Transfold by jeremygibbons	Ehud Lamm	2011-05-18 11:43
Forum topic	Book: Pearls of Functional Algorithm Design Pearls of Functional Algorithm Design published by jeremygibbons	Francois Garillot	2010-09-25 20:50
Forum topic	Combinators for contracts Haskell classes (a plug) by jeremygibbons	Charles Stewart	2010-04-16 14:45
Forum topic	Functional Pearls JFP editorial on Functional Pearls by jeremygibbons	Derek Elkins	2010-03-04 02:22
Forum topic	Algebra Of Programming (Bird, De Moor) Print on demand by jeremygibbons	shahbaz	2009-04-27 20:22
Forum topic	zip in the point free style I'm not sure what you mean by jeremygibbons	Carter Cheng	2009-04-14 01:58
Forum topic	Total Functional Programming Partiality is an effect by jeremygibbons	Greg Buchholz	2007-05-27 20:18
Forum topic	Implementation Inheritance Composition and delegation by jeremygibbons	SamK	2007-03-20 20:31
Forum topic	Non-Applicative Functional Languages The algebra of programming by jeremygibbons	cdiggins	2007-03-09 17:18
Story	Proofs are Programs: 19th Century Logic and 21st Century Computing What a software developer does by jeremygibbons	shapr	2006-05-30 17:35
Forum topic	Question about Lazy-ness and algorithmic runtime analysis Linear-time minimum via quicksort by jeremygibbons	Logan Capaldo	2006-05-22 08:48
Story	Fission for Program Comprehension Shackles? I love 'em by jeremygibbons Design patterns as higher-order datatype-generic programs by jeremygibbons	Ehud Lamm	2006-02-27 15:38
Story	Spring School on Datatype-Generic Programming 2006 Datatype genericity by jeremygibbons	Ehud Lamm	2006-01-24 19:14
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