Lambda the Ultimate Weblog Topics
Last Updated 07/17/2012

Posts By: Francois Garillot

  Date    Post    Topic  
07/12/2012More readingHow to Make Ad Hoc Proof Automation Less Ad Hoc
11/11/2011Artifact of 2-dimensional syntax ?Is the Expression Problem Fundamental?
08/05/2011Help finding a (working ?) paper revisiting the Meijer-Fokkinga-Patterson classicHelp finding a (working ?) paper revisiting the Meijer-Fokkinga-Patterson classic
08/05/2011Found it !Help finding a (working ?) paper revisiting the Meijer-Fokkinga-Patterson classic
07/28/2010Book: Pearls of Functional Algorithm DesignBook: Pearls of Functional Algorithm Design

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive


Chris Rathman/ Chris.Rathman@tx.rr.com