Posts By: Francois Garillot
Date | Post | Topic |
07/12/2012 | More reading | How to Make Ad Hoc Proof Automation Less Ad Hoc |
11/11/2011 | Artifact of 2-dimensional syntax ? | Is the Expression Problem Fundamental? |
08/05/2011 | Help finding a (working ?) paper revisiting the Meijer-Fokkinga-Patterson classic | Help finding a (working ?) paper revisiting the Meijer-Fokkinga-Patterson classic |
08/05/2011 | Found it ! | Help finding a (working ?) paper revisiting the Meijer-Fokkinga-Patterson classic |
07/28/2010 | Book: Pearls of Functional Algorithm Design | Book: 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 |