Cover Image
Read Now

1
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... identity in a pure functional language -- A class abstraction for a hierarchical type system -- Algebraic...”