A Nominal Theory of Objects with Dependent Types

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

Abstract

Research Areas