Author of the publication

Position Statements on Strategic Directions for Research on Programming Languages.

, , and . ACM SIGPLAN Notices, 32 (1): 59-65 (1997)

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

Evolution of Object Behavior Using Context Relations., , and . IEEE Trans. Software Eng., 24 (1): 79-92 (1998)Achieving a quantum smart workforce., , , , , , , , , and 22 other author(s). CoRR, (2020)Typed self-evaluation via intensional type functions., and . POPL, page 415-428. ACM, (2017)Breaking through the normalization barrier: a self-interpreter for f-omega., and . POPL, page 5-17. ACM, (2016)Object-Oriented Type Inference., and . OOPSLA, page 146-161. ACM, (1991)SIGPLAN Notices 26(11).Encapsulating Objects with Confined Types., , and . OOPSLA, page 241-253. ACM, (2001)SIGPLAN Notices 36(11).Type Substitution for Object-Oriented Programming., and . OOPSLA/ECOOP, page 151-160. ACM, (1990)SIGPLAN Notices 25(10).Featherweight X10: a core calculus for async-finish parallelism.. FTfJP@ECOOP, page 1. ACM, (2012)Encapsulating objects with confined types., , and . ACM Trans. Program. Lang. Syst., 29 (6): 32 (2007)Equality-based flow analysis versus recursive types.. ACM Trans. Program. Lang. Syst., 20 (6): 1251-1264 (1998)