Home
• Education Page
• Topics
• Schedule
• Projects

• Interesting Links

Center
Master Program

Links

   * Benjamin Pierce has written a more introductory book, most of which which is quite easy reading for students who have followed the IPt course and are fluent Haskell programmers. It can be used as reference material: [[http://www.cis.upenn.edu/~bcpierce/tapl/index.html"][Types and Programming Languages, Benjamin C. Pierce, ISBN 0-262-16209-1, MIT Press]]
      * Errata: [[http://www.cis.upenn.edu/~bcpierce/tapl/index.html]]
   * A presentation in which a experienced Perl programmer explains the advantages of a strongly typed language: [[http://perl.plover.com/yak/typing/]]
   * [[http://web.cecs.pdx.edu/~mpj/thih/][Typing Haskell in Haskell]] describes the implementation of a Haskell type checker (inluding classes) based on monads. As such it is complementary to the attribute grammar approach taken in the EHC and Helium compilers constructed in our department.
   * Mark Jones: [[http://cse.ogi.edu/~mpj/pubs/esop92.html][The Theory of Qualified Types]]
   * Phil Wadler: [[http://citeseer.ist.psu.edu/250500.html][Theorems For Free]]

-- Main.ChrisEidhof - 27 Sep 2007