Login / Signup

A type system for first-class layers with inheritance, subtyping, and swapping.

Hiroaki InoueAtsushi Igarashi
Published in: Sci. Comput. Program. (2019)
Keyphrases