COMP 150fp Schedule

This schedule will be updated periodically. The web page is generated by a cron job; in case of catastrophic failure, please notify nr@cs.tufts.edu.

Fri, Sep 6

Why functional programming matters
Read:

John Hughes, Why Functional Programming Matters (1989)
Philip Wadler, How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages (1985)

Additional papers handed out in class:

Simon Peyton Jones, Jean-Marc Eber, and Julian Seward, Composing contracts: an adventure in financial engineering (2000)

Fri, Sep 13

Overloading
Read:

Philip Wadler and Stephen Blott, How to make ad-hoc Polymorphism less ad hoc (1989)
Mark P. Jones, Type Classes with Functional Dependencies (2000)

Additional papers handed out in class:

Brent Yorgey, Typeclassopedia (2009)
Mark P. Jones, A system of constructor classes: overloading and implicit higher-order polymorphism (1993)
Simon Peyton Jones, Mark Jones, and Erik Meijer, Type Classes: An Exploration of the Design Space (1997)

Fri, Sep 20

Monad mania
Read:

Simon Peyton Jones and Philip Wadler, Imperative functional programming. (1993)
Graham Hutton and Erik Meijer, Functional Pearl: Monadic parsing in Haskell (1998)

Additional papers handed out in class:

Simon Peyton Jones, Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell (2001)
Philip Wadler, The essence of functional programming (invited talk) (1992)
Sheng Liang, Paul Hudak, and Mark Jones, Monad Transformers and Modular Interpreters (1995)

Fri, Sep 27

Field trip to ICFP.

Fri, Oct 4

Applications I
Read:

Koen Claessen and John Hughes, QuickCheck: a Lightweight Tool for Random Testing of Haskell Programs (2000)
Koen Claessen and John Hughes, Testing monadic code with QuickCheck (2002)

Fri, Oct 11

Metalanguage, object language, and quotation
Read:

Geoffrey Mainland, Why it's nice to be quoted: Quasiquoting for Haskell (2007)
James Cheney, Sam Lindley, and Philip Wadler, A Practical Theory of Language-Integrated Query (2013)

Fri, Oct 18

Unfilled class day!

Fri, Oct 25

Unfilled class day!

Fri, Nov 1

Unfilled class day!

Fri, Nov 8

Unfilled class day!

Fri, Nov 15

Unfilled class day!

Fri, Nov 22

Unfilled class day!

Fri, Nov 29

No class (Thanksgiving)

Fri, Dec 6

Unfilled class day!