( en | de | ru )

 

Disambiguation of "Tolmach, Andrew"

Author of the publication

copydeleteadd this publication to your clipboard
Intrinsically-typed definitional interpreters for imperative languages.

, , , , and . Proc. ACM Program. Lang., 2 (POPL): 16:1-16:34 (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. You can also use the button next to the name to display some publications already assigned to the person.

Andrew Singer

Andrew Torda

Andrew Cato

Andrew Huvos

Andrew Lee

 

Other publications of authors with the same name

Security Properties for Stack Safety., , , , and . CoRR, (2021)Flexible Runtime Security Enforcement with Tagged C., , and . RV, volume 14245 of Lecture Notes in Computer Science, page 231-250. Springer, (2023)Formalizing Stack Safety as a Security Property., , , , and . CSF, page 356-371. IEEE, (2023)Eelco Visser: The Oregon Connection.. Eelco Visser Commemorative Symposium, volume 109 of OASIcs, page 27:1-27:6. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Intrinsically-typed definitional interpreters for imperative languages., , , , and . Proc. ACM Program. Lang., 2 (POPL): 16:1-16:34 (2018)Towards formally verified compilation of tag-based policy enforcement., , and . CPP, page 137-151. ACM, (2021)Suppl: A Flexible Language for Policies., and . APLAS, volume 8858 of Lecture Notes in Computer Science, page 176-195. Springer, (2014)Scopes and Frames Improve Meta-Interpreter Specialization., , and . ECOOP, volume 134 of LIPIcs, page 4:1-4:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Towards Formally Verified Compilation of Tag-Based Policy Enforcement., , and . CoRR, (2020)Optimizing ML Using a Hierarchy of Monadic Types.. Types in Compilation, volume 1473 of Lecture Notes in Computer Science, page 97-115. Springer, (1998)