Jump to Content

A Nominal Theory of Objects with Dependent Types

Martin Odersky
Vincent Cremet
Christine Röckl
ECOOP (2003), pp. 201-224

Abstract

Research Areas