You are here:
(27 Nov 2007,
* 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
ore topic actions
Topic revision: r6 - 27 Nov 2007,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?