Advanced Functional Programming

Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures

Several carefully revised lectures from the 6th International School on Functional Programming, AFP 2008, are presented in this valuable review. Topics include computation with Delta ML, spider spinning, reduction-based normalization and Haskell programming.
Sign up to use