Index of /docs/library/unsorted/programming/functional
Name
Last modified
Size
Description
Parent Directory
-
A tutorial on the universality and expressiveness of fold.ps.gz
12-Oct-2005 15:09
48K
Basic Polymorphic Typechecking.ps.gz
12-Oct-2005 15:09
69K
FPwithGraphs_ICFP97.ps.gz
06-Jan-2004 21:21
62K
Introduction to Functional Programming.ps.gz
06-Jan-2004 21:21
233K
Language Prototyping using Modular Monadic Semantics.ps.gz
12-Oct-2005 15:09
39K
Okasaki - Breadth First Numbering - Lessons from a Small Exercise in Algorithm Design.ps.gz
12-Oct-2005 15:09
42K
Okasaki - Even Higher-Order Functions for Parsing.ps.gz
12-Oct-2005 15:09
25K
Okasaki - From Fast Exponentiation to Square Matrices - An Adventure in Types.ps.gz
12-Oct-2005 15:09
55K
Okasaki - Functional Data Structures.ps.gz
12-Oct-2005 15:09
68K
Purely Functional Random Access Lists.ps.gz
12-Oct-2005 15:09
48K
Using catamorphisms, subtypes and monad transformers for writing modular functional interpreters.ps.gz
12-Oct-2005 15:09
39K
arrows.ps.gz
12-Oct-2005 15:09
113K
constable_constructive_mathematics_programming.ps.gz
12-Oct-2005 15:09
283K
erwig97functional.pdf
06-Jan-2004 21:22
236K
erwig97functional.ps.gz
12-Oct-2005 15:09
62K
okasaki96functional.ps.gz
12-Oct-2005 15:09
68K
variant-reuse.ps.gz
12-Oct-2005 15:09
66K
Apache/2.2.8 (Ubuntu) mod_ssl/2.2.8 OpenSSL/0.9.8g Server at www.thelackthereof.org Port 80