me83

L. Meertens. Incremental Polymorphic Type Checking in B. In Proc. 10th ACM Symp. on Principles of Programming Languages (POPL), Pages 265-275, 1983.

Keywords

[ Parametricity ] [ Dyntyp ] [ Inccomp ]

Contact

L. Meertens

BibTex Reference

@InProceedings{me83,
   Author = {Meertens, L.},
   Title = {Incremental Polymorphic Type Checking in {B}},
   BookTitle = {Proc. 10th ACM Symp. on Principles of Programming Languages (POPL)},
   Pages = {265--275},
   Year = {1983}
}

EndNote Reference [help]

Get EndNote Reference (.ref)