Robert Atkey

Available identifiers

zbMath Open atkey.robertMaRDI QIDQ2888472

List of research outcomes

Publication	Date of Publication	Type
A linear algebra approach to linear metatheory	2025-01-06	Paper
Compositional Game Theory, Compositionally	2022-01-10	Paper
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs	2021-12-27	Paper
Syntax and Semantics of Quantitative Type Theory	2021-01-20	Paper
Effect handlers via generalised continuations	2020-05-26	Paper
Continuation passing style for effect handlers	2020-05-26	Paper
Interleaving data and effects	2017-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q5277830	2017-07-12	Paper
Observed Communication Semantics for Classical Processes	2017-05-19	Paper
The Semantics of Parsing with Semantic Actions	2017-05-16	Paper
Conflation Confers Concurrency	2016-08-17	Paper
Productive coprogramming with guarded recursion	2015-03-30	Paper
Abstraction and invariance for algebraically indexed types	2014-11-27	Paper
What is a Categorical Model of Arrows?	2014-06-27	Paper
A relationally parametric model of dependent type theory	2014-04-10	Paper
From parametricity to conservation laws, via Noether's theorem	2014-04-10	Paper
Relational parametricity for higher kinds	2012-11-22	Paper
Fibrational induction meets effects	2012-06-22	Paper
Refining inductive types	2012-06-11	Paper
Algebras for parameterised monads	2012-06-01	Paper
When Is a Type Refinement an Inductive Type?	2011-05-19	Paper
Amortised resource analysis with separation logic	2010-05-04	Paper
Parameterised notions of computation	2009-10-28	Paper
Syntax for Free: Representing Syntax with Binding Using Parametricity	2009-07-07	Paper
CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types	2008-06-03	Paper
Automata, Languages and Programming	2005-08-24	Paper

Research outcomes over time

This page was built for person: Robert Atkey