Book Chapter

Dynamic Patterns

Barry Jay

2009, Pattern Calculus, Part 1, Pages 45-58

• Download PDF (347.4 KB)

Book Chapter

Queries

Barry Jay

2009, Pattern Calculus, Part 3, Pages 161-168

• Download PDF (193.9 KB)

Book Chapter

Collections

2007, Practical OCaml, Pages 89-111

• Download PDF (928.3 KB)

Book Chapter

Dependently Typed Programming in Agda

Ulf Norell

Lecture Notes in Computer Science, 2009, Volume 5832, Advanced Functional Programming, Pages 230-266

• Download PDF (298.4 KB)

Book Chapter

Algebraic Data Types

Barry Jay

2009, Pattern Calculus, Part 3, Pages 149-160

• Download PDF (229.9 KB)

Book Chapter

Practical: A Concurrent Web Crawler

2007, Practical OCaml, Pages 329-348

• Download PDF (827.5 KB)

Book Chapter

Mastering F#: Common Techniques

Don Syme, Adam Granicz and Antonio Cisternino

2007, Expert F#, Pages 181-210

• Download PDF (248.7 KB)

Book Chapter

The F# Libraries

2007, Foundations of F#, Pages 129-166

• Download PDF (228.1 KB)

Book Chapter

PCF with Types

Gilles Dowek and Jean-Jacques Lévy

Undergraduate Topics in Computer Science, 2011, Introduction to the Theory of Programming Languages, Pages 51-62

• Download PDF (237.8 KB)
• View HTML

Book Chapter

Understanding Functions

2007, Practical OCaml, Pages 33-50

• Download PDF (814.1 KB)