Robert Atkey

Available identifiers

zbMath Open atkey.robertMaRDI QIDQ2888472

List of research outcomes

Publication	Date of Publication	Type
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
From parametricity to conservation laws, via Noether's theorem	2014-04-10	Paper
A relationally parametric model of dependent type theory	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert Atkey