Posts By: jeremygibbons
Date | Post | Topic |
08/07/2011 | Program Calculation Properties of Continuous Algebras | Help finding a (working ?) paper revisiting the Meijer-Fokkinga-Patterson classic |
06/20/2011 | Bananas in space | Catamorphisms and anamorphisms = general or primitive recursion? |
05/18/2011 | Transfold | Patterns in Functional Programming |
09/25/2010 | Pearls of Functional Algorithm Design published | Book: Pearls of Functional Algorithm Design |
04/03/2009 | I'm not sure what you mean | zip in the point free style |
03/02/2010 | JFP editorial on Functional Pearls | Functional Pearls |
03/13/2007 | Composition and delegation | Implementation Inheritance |
03/04/2007 | The algebra of programming | Non-Applicative Functional Languages |
01/23/2007 | Partiality is an effect | Total Functional Programming |
05/22/2006 | Linear-time minimum via quicksort | Question about Lazy-ness and algorithmic runtime analysis |
05/30/2006 | What a software developer does | Proofs are Programs: 19th Century Logic and 21st Century Computing |
02/19/2006 | Design patterns as higher-order datatype-generic programs | Fission for Program Comprehension |
02/27/2006 | Shackles? I love 'em | Fission for Program Comprehension |
02/14/2006 | Haskell classes (a plug) | Combinators for contracts |
01/24/2006 | Datatype genericity | Spring School on Datatype-Generic Programming 2006 |
06/07/2007 | Print on demand | Algebra Of Programming (Bird, De Moor) |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |