Cover Image
Read Now

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... of exception handling -- A simple model for quotient types -- Untyped ?-calculus with relative typing -- Final...”