PRL Seminars
Reasoning about Java Classes in Nuprl
Pavel Naumov
September 9, 1997
Abstract
This Tuesday I will talk on types with recursive elements.
Slides
| Home | | Introduction | | Authors | | Topics | | Chronological List | | PRL Project |