on decidability of nominal subtyping with variance

Download On Decidability of Nominal  Subtyping  with Variance

Post on 03-Jan-2016

40 views

Category:

Documents

2 download

Embed Size (px)

DESCRIPTION

Andrew Kennedy (Microsoft Research Cambridge) Benjamin Pierce (University of Pennsylvania). On Decidability of Nominal Subtyping with Variance. TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A. Compiler demo. - PowerPoint PPT Presentation

TRANSCRIPT

On Decidability of Nominal Subtyping with Variance

On Decidability of Nominal Subtyping with VarianceAndrew Kennedy (Microsoft Research Cambridge)Benjamin Pierce (University of Pennsylvania)TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAAAAA1Compiler demoJava 1.6

class N { }class C extends N

Recommended

View more >