Robert Atkey

From MaRDI portal
Person:2888472

Available identifiers

zbMath Open atkey.robertMaRDI QIDQ2888472

List of research outcomes

PublicationDate of PublicationType
Compositional Game Theory, Compositionally2022-01-10Paper
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs2021-12-27Paper
Syntax and Semantics of Quantitative Type Theory2021-01-20Paper
Effect handlers via generalised continuations2020-05-26Paper
Continuation passing style for effect handlers2020-05-26Paper
Interleaving data and effects2017-10-23Paper
https://portal.mardi4nfdi.de/entity/Q52778302017-07-12Paper
Observed Communication Semantics for Classical Processes2017-05-19Paper
The Semantics of Parsing with Semantic Actions2017-05-16Paper
Conflation Confers Concurrency2016-08-17Paper
Productive coprogramming with guarded recursion2015-03-30Paper
Abstraction and invariance for algebraically indexed types2014-11-27Paper
What is a Categorical Model of Arrows?2014-06-27Paper
From parametricity to conservation laws, via Noether's theorem2014-04-10Paper
A relationally parametric model of dependent type theory2014-04-10Paper
Relational Parametricity for Higher Kinds2012-11-22Paper
Fibrational Induction Meets Effects2012-06-22Paper
Refining Inductive Types2012-06-11Paper
Algebras for Parameterised Monads2012-06-01Paper
When Is a Type Refinement an Inductive Type?2011-05-19Paper
Amortised Resource Analysis with Separation Logic2010-05-04Paper
Parameterised notions of computation2009-10-28Paper
Syntax for Free: Representing Syntax with Binding Using Parametricity2009-07-07Paper
CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types2008-06-03Paper
Automata, Languages and Programming2005-08-24Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Robert Atkey