| Ticking Clocks As Dependent Right Adjoints Denotational Semantics For Clocked Type Theory | 0 | 0.34 | 2020 |
| Modal dependent type theory and dependent right adjoints. | 0 | 0.34 | 2020 |
| Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming. | 0 | 0.34 | 2019 |
| Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks | 1 | 0.35 | 2019 |
| Bisimulation as path type for guarded recursive types | 1 | 0.37 | 2019 |
| The clocks they are adjunctions: Denotational semantics for Clocked Type Theory. | 1 | 0.35 | 2018 |
| Modal Dependent Type Theory and Dependent Right Adjoints. | 3 | 0.42 | 2018 |
| Denotational semantics for guarded dependent type theory | 2 | 0.50 | 2018 |
| Denotational semantics of recursive types in synthetic guarded domain theory. | 3 | 0.40 | 2018 |
| The clocks are ticking: No more delays! | 5 | 0.44 | 2017 |
| Guarded Dependent Type Theory with Coinductive Types | 13 | 0.66 | 2016 |
| A Model of PCF in Guarded Type Theory | 3 | 0.40 | 2015 |
| A Model of Guarded Recursion With Clock Synchronisation | 6 | 0.50 | 2015 |
| Linear usage of state. | 6 | 0.46 | 2014 |
| The enriched effect calculus: syntax and semantics. | 5 | 0.44 | 2014 |
| Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes | 14 | 0.76 | 2013 |
| Linear-use CPS translations in the Enriched Effect Calculus | 5 | 0.43 | 2012 |
| First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees | 46 | 1.94 | 2011 |
| Linearly-used state in models of call-by-value | 9 | 0.50 | 2011 |
| A Nominal Relational Model for Local Store | 0 | 0.34 | 2010 |
| Linearly-Used continuations in the enriched effect calculus | 6 | 0.53 | 2010 |
| From parametric polymorphism to models of polymorphic fpc | 2 | 0.39 | 2009 |
| Relational Parametricity for Computational Effects | 0 | 0.34 | 2009 |
| Enriching an effect calculus with linear types | 12 | 0.66 | 2009 |
| A logic for parametric polymorphism with effects | 0 | 0.34 | 2007 |
| Domain-theoretical models of parametric polymorphism | 9 | 0.57 | 2007 |
| Relational Parametricity for Control Considered as a Computational Effect | 5 | 0.44 | 2007 |
| Relational Parametricity for Computational Effects | 10 | 0.56 | 2007 |
| Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus | 4 | 0.43 | 2006 |
| Linear Abadi and Plotkin Logic | 5 | 0.47 | 2006 |
| Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism | 6 | 0.46 | 2006 |
| Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic | 4 | 0.45 | 2006 |
| Categorical models for Abadi and Plotkin's logic for parametricity | 18 | 0.76 | 2005 |
