From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Class-Graph Inference for Adaptive Programs

J. Palsberg. Theory and Practice of Object Systems, 3 (2): 75--85 (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.

Software evolution and integrationJ. Palsberg. ACM Computing Surveys, 28 (4es): 200--200 (декабря 1996)Class-Graph Inference for Adaptive ProgramsJ. Palsberg. Theory and Practice of Object Systems, 3 (2): 75--85 (1997)Encapsulating Objects with Confined Types.C. Grothoff, J. Palsberg, и J. Vitek. OOPSLA, стр. 241-253. ACM, (2001)SIGPLAN Notices 36(11).Typed self-evaluation via intensional type functions.M. Brown, и J. Palsberg. POPL, стр. 415-428. ACM, (2017)Breaking through the normalization barrier: a self-interpreter for f-omega.M. Brown, и J. Palsberg. POPL, стр. 5-17. ACM, (2016)Generalizing Shape Analysis with Gradual Types (Artifact).Z. Migeed, и J. Palsberg. Dagstuhl Artifacts Ser., 10 (2): 14:1-14:2 (2024)Object-Oriented Type Inference.J. Palsberg, и M. Schwartzbach. OOPSLA, стр. 146-161. ACM, (1991)SIGPLAN Notices 26(11).Type Substitution for Object-Oriented Programming.J. Palsberg, и M. Schwartzbach. OOPSLA/ECOOP, стр. 151-160. ACM, (1990)SIGPLAN Notices 25(10).Featherweight X10: a core calculus for async-finish parallelism.J. Lee, и J. Palsberg. PPoPP, стр. 25-36. ACM, (2010)Making Type Inference Practical.N. Oxhøj, J. Palsberg, и M. Schwartzbach. ECOOP, том 615 из Lecture Notes in Computer Science, стр. 329-349. Springer, (1992)