LIBRARY Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures 2003 · ENGLISH · PDF View details →
LIBRARY Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures 2007 · ENGLISH · PDF View details →
LIBRARY Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures 2007 · ENGLISH · PDF View details →
LIBRARY Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures 2003 · ENGLISH · PDF View details →