Search alternatives:
"nonempty record" » "longevity record"
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Terms by Superdevelopments -- Subtyping Functional+Nonempty Record Types -- Monotone Fixed-Point Types...”