Author of the publication

A Calculus for Compiling and Linking Classes.

, , and . ESOP, volume 1782 of Lecture Notes in Computer Science, page 135-149. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Notes on Typed Object-Oriented Programming., and . TACS, volume 789 of Lecture Notes in Computer Science, page 844-885. Springer, (1994)Data Structure Fusion., , , , and . APLAS, volume 6461 of Lecture Notes in Computer Science, page 204-221. Springer, (2010)Reasoning about Lock Placements., , , , and . ESOP, volume 7211 of Lecture Notes in Computer Science, page 336-356. Springer, (2012)The Development of Type Systems for Object-Oriented Languages., and . Theory Pract. Object Syst., 1 (3): 189-220 (1995)Autobahn: using genetic algorithms to infer strictness annotations., , and . Haskell, page 114-126. ACM, (2016)Adaptive LL(*) parsing: the power of dynamic analysis., , and . OOPSLA, page 579-598. ACM, (2014)LL(*): the foundation of the ANTLR parser generator., and . PLDI, page 425-436. ACM, (2011)Hancock: A Language for Analyzing Transactional Data Streams., , , , and . Data Stream Management, Springer, (2016)A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers., , , , and . PADL, volume 4902 of Lecture Notes in Computer Science, page 133-149. Springer, (2008)Transition to community by adolescents with Asperger syndrome: Staying afloat in a sea change, and . Disability and Health Journal, 6 (3): 227 - 235 (2013)