From post

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

Intensional polymorphism in type-erasure semantics.

K. Crary, S. Weirich, и J. Morrisett. J. Funct. Program., 12 (6): 567-600 (2002)

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.

Encoding Intensional Type Analysis.S. Weirich. ESOP, том 2028 из Lecture Notes in Computer Science, стр. 92-106. Springer, (2001)Type-safe cast.S. Weirich. J. Funct. Program., 14 (6): 681-695 (2004)Program Adverbs and Tlön Embeddings.Y. Li, и S. Weirich. CoRR, (2022)Effects and Coeffects in Call-By-Push-Value (Extended Version).C. Torczon, E. Acevedo, S. Agrawal, J. Velez-Ginorio, и S. Weirich. CoRR, (2023)Visible Type Application.R. Eisenberg, S. Weirich, и H. Ahmed. ESOP, том 9632 из Lecture Notes in Computer Science, стр. 229-254. Springer, (2016)Engineering formal metatheory.B. Aydemir, A. Charguéraud, B. Pierce, R. Pollack, и S. Weirich. POPL, стр. 3-15. ACM, (2008)Programming with Types.S. Weirich. Cornell University, USA, (2002)Intensional Polymorphism in Type-Erasure Semantics.K. Crary, S. Weirich, и J. Morrisett. ICFP, стр. 301-312. ACM, (1998)SIGPLAN Notices 34(1), January 1999.A Reflection on Types.S. Jones, S. Weirich, R. Eisenberg, и D. Vytiniotis. A List of Successes That Can Change the World, том 9600 из Lecture Notes in Computer Science, стр. 292-317. Springer, (2016)Internalizing Indistinguishability with Dependent Types.Y. Liu, J. Chan, J. Shi, и S. Weirich. Proc. ACM Program. Lang., 8 (POPL): 1298-1325 (января 2024)