APL18: Guest Lecture

11 March 2009

Programming with Dependent Types

Bob Atkey

University of Edinburgh

9am Thursday March 12th 2009

Read the rest of this entry »