![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[DIR]](/icons/back.gif) | Parent Directory | | - |
![[ ]](/icons/layout.gif) | Budiak-Gould, Ben et al: Haskell is Not ML.pdf | 30-Jan-2006 19:23 | 247K |
| Calcagno, Cristiano and Moggi, Eugenio and Taha, Walid: ML-like Inference for Classifiers.pdf | 10-Jan-2004 09:48 | 293K |
![[ ]](/icons/compressed.gif) | Danvy, Olivier: Functional Unparsing.ps.gz | 06-Jan-2004 21:18 | 34K |
| Erwig, Martin: Escape from Zurg - An Exercise in Logic Programming.pdf | 10-Jul-2004 15:48 | 54K |
| Erwig, Martin: Functional Programming with Graphs.pdf | 11-Oct-2005 00:01 | 235K |
| Erwig, Martin: Functional Programming with Graphs.ps.gz | 12-Oct-2005 15:07 | 62K |
| Erwig, Martin: Functional Programming with Graphs.tar.gz | 19-Nov-2004 15:26 | 62K |
| Erwig, Martin: Programs are Abstract Data Types.tar.gz | 19-Nov-2004 15:26 | 36K |
| Harper, Robert: Programming in Standard ML.pdf | 26-Mar-2004 13:25 | 1.0M |
| Johann, Patricia: Short Cut Fusion is Correct.pdf | 06-Jan-2004 21:20 | 310K |
| Martini, Alfio: Category Theory and the Simply-Typed lambda-Calculus.pdf | 11-Mar-2004 11:10 | 433K |
| Martini, Alfio: Elements of Basic Category Theory.pdf | 11-Mar-2004 11:10 | 923K |
| Swierstra, S Doaitse: Combinator Parsers - From Toys to Tools.pdf | 06-Jan-2004 21:18 | 133K |
| out.ps.gz | 12-Oct-2005 15:08 | 327K |
|
|---|