A Nominal Theory of Objects with Dependent Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger. A Nominal Theory of Objects with Dependent Types. In Luca Cardelli, editor, ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings. Volume 2743 of Lecture Notes in Computer Science, pages 201-224, Springer, 2003. [doi]

Identified as Martin Odersky This author has not been identified. Look up 'Vincent Cremet' in GoogleThis author has not been identified. Look up 'Christine Röckl' in GoogleThis author has not been identified. Look up 'Matthias Zenger' in Google

runs on WebDSL