Author of the publication

Inferring Region Types via an Abstract Notion of Environment Transformation.

, and . APLAS, volume 13658 of Lecture Notes in Computer Science, page 45-64. Springer, (2022)

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

A Gentzen-Style Monadic Translation of Gödel's System T.. FSCD, volume 167 of LIPIcs, page 25:1-25:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)A constructive manifestation of the Kleene-Kreisel continuous functionals., and . Ann. Pure Appl. Log., 167 (9): 770-793 (2016)A Constructive Model of Uniform Continuity., and . TLCA, volume 7941 of Lecture Notes in Computer Science, page 236-249. Springer, (2013)A generic type system for featherweight Java., and . FTfJP@ECOOP, page 9-15. ACM, (2021)Type-Theoretic Approaches to Ordinals., , and . CoRR, (2022)Connecting Constructive Notions of Ordinals in Homotopy Type Theory., , and . MFCS, volume 202 of LIPIcs, page 70:1-70:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation., and . TLCA, volume 38 of LIPIcs, page 153-164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)A continuous computational interpretation of type theories.. University of Birmingham, UK, (2015)British Library, EThOS.Specifying a Usage Control System., , , , and . SACMAT, page 193-200. ACM, (2023)Type-based Enforcement of Infinitary Trace Properties for Java., , and . PPDP, page 18:1-18:14. ACM, (2021)