jeremygibbons

type sort icontitleauthorlast post
StoryComposite Replicated Data Types: eventually consistent libraries as non-leaky abstractions gasche2015-05-30 21:12
Forum topicPOPL 2014 proceedings available freely for all gasche2014-02-08 00:34
StoryRob Pike on Go at Google Ehud Lamm2013-01-09 22:52
Forum topicA Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" w7cook2013-01-08 20:02
Forum topicHelp finding a (working ?) paper revisiting the Meijer-Fokkinga-Patterson classic Francois Garillot2011-08-07 12:08
Forum topicCatamorphisms and anamorphisms = general or primitive recursion? Blaisorblade2011-06-20 22:37
StoryPatterns in Functional Programming Ehud Lamm2011-05-18 11:43
Forum topicBook: Pearls of Functional Algorithm Design Francois Garillot2010-09-25 20:50
Forum topicCombinators for contracts Charles Stewart2010-04-16 14:45
Forum topicFunctional Pearls Derek Elkins2010-03-04 02:22
Forum topicAlgebra Of Programming (Bird, De Moor) shahbaz2009-04-27 20:22
Forum topiczip in the point free style Carter Cheng2009-04-14 01:58
Forum topicTotal Functional Programming Greg Buchholz2007-05-27 20:18
Forum topicImplementation Inheritance SamK2007-03-20 20:31
Forum topicNon-Applicative Functional Languages cdiggins2007-03-09 17:18
StoryProofs are Programs: 19th Century Logic and 21st Century Computing shapr2006-05-30 17:35
Forum topicQuestion about Lazy-ness and algorithmic runtime analysis Logan Capaldo2006-05-22 08:48
StoryFission for Program Comprehension Ehud Lamm2006-02-27 15:38
StorySpring School on Datatype-Generic Programming 2006 Ehud Lamm2006-01-24 19:14