Title: Advanced Functional Programming: Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures / Edition 1, Author: S. Doaitse Swierstra
Title: Advanced Functional Programming: Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text / Edition 1, Author: John Launchbury
Title: Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures / Edition 1, Author: Varmo Vene
Title: Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures / Edition 1, Author: Johan Jeuring
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol / Edition 1, Author: Iman Poernomo
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol / Edition 1, Author: Iman Poernomo
Title: A Tight, Practical Integration of Relations and Functions / Edition 1, Author: Harold Boley

Pagination Links