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 |