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: A Tight, Practical Integration of Relations and Functions / Edition 1, Author: Harold Boley

Pagination Links