Abstract Datatypes: The Phantom Menace
Jeremy Gibbons ( Oxford University Computing Laboratory )
- 15:30 17th October 2008 ( week 1, Michaelmas Term 2008 )Room 479 of the Wolfson Building
Last term, Ralf Hinze gave a seminar on Abstract Datatypes and Unique Fixpoints. In this talk I will try to fill in some of the background to that presentation. In particular, I will explain why "abstract datatypes have existential type", why this leads to a problem with reasoning, and what to do about that problem.
Share this:
