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 |