( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Scopes as types.

, , , и . Proc. ACM Program. Lang., 2 (OOPSLA): 114:1-114:30 (2018)

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.

Frederik Poulsen

Vagn Poulsen

Wilhelm Casper

Rudolf Casper

Johannes Casper

 

Другие публикации лиц с тем же именем

Scopes as types., , , и . Proc. ACM Program. Lang., 2 (OOPSLA): 114:1-114:30 (2018)Intrinsically-typed definitional interpreters for imperative languages., , , , и . Proc. ACM Program. Lang., 2 (POPL): 16:1-16:34 (2018)Intrinsically-typed definitional interpreters for linear, session-typed languages., , , и . CPP, стр. 284-298. ACM, (2020)Towards a Language for Defining Reusable Programming Language Components - (Project Paper)., и . TFP, том 13401 из Lecture Notes in Computer Science, стр. 18-38. Springer, (2022)From definitional interpreter to symbolic executor., , , и . META@SPLASH, стр. 11-20. ACM, (2019)A Monadic Framework for Name Resolution in Multi-phased Type Checkers., , и . GPCE, стр. 14-28. ACM, (2023)Verifying Well-Typedness Preservation of Refactorings using Scope Graphs., , и . FTfJP@ECOOP, стр. 44-50. ACM, (2023)Deriving Pretty-Big-Step Semantics from Small-Step Semantics., и . ESOP, том 8410 из Lecture Notes in Computer Science, стр. 270-289. Springer, (2014)Defining Name Accessibility Using Scope Graphs., и . ECOOP, том 313 из LIPIcs, стр. 47:1-47:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Latent Effects for Reusable Language Components., , , и . APLAS, том 13008 из Lecture Notes in Computer Science, стр. 182-201. Springer, (2021)