Robert Atkey
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A semantic proof of generalised cut elimination for deep inference | 2026-04-02 | Paper |
| A linear algebra approach to linear metatheory | 2025-01-06 | Paper |
| Compositional game theory, compositionally | 2022-01-10 | Paper |
| Compositional game theory, compositionally (available as arXiv preprint) | 2022-01-10 | Paper |
| A type- and scope-safe universe of syntaxes with binding: their semantics and proofs Journal of Functional Programming | 2021-12-27 | Paper |
| Syntax and semantics of quantitative type theory Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| Continuation passing style for effect handlers | 2020-05-26 | Paper |
| Effect handlers via generalised continuations Journal of Functional Programming | 2020-05-26 | Paper |
| Interleaving data and effects Journal of Functional Programming | 2017-10-23 | Paper |
| Models for polymorphism over physical dimension | 2017-07-12 | Paper |
| Observed Communication Semantics for Classical Processes Programming Languages and Systems | 2017-05-19 | Paper |
| The semantics of parsing with semantic actions 2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
| Conflation confers concurrency A List of Successes That Can Change the World | 2016-08-17 | Paper |
| Productive coprogramming with guarded recursion Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Abstraction and invariance for algebraically indexed types Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| What is a categorical model of arrows? Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
| A relationally parametric model of dependent type theory Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| From parametricity to conservation laws, via Noether's theorem Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Relational parametricity for higher kinds | 2012-11-22 | Paper |
| Fibrational induction meets effects Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
| Refining inductive types Logical Methods in Computer Science | 2012-06-11 | Paper |
| Algebras for parameterised monads Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
| When Is a Type Refinement an Inductive Type? Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
| Amortised resource analysis with separation logic Programming Languages and Systems | 2010-05-04 | Paper |
| Parameterised notions of computation Journal of Functional Programming | 2009-10-28 | Paper |
| Syntax for Free: Representing Syntax with Binding Using Parametricity Lecture Notes in Computer Science | 2009-07-07 | Paper |
| CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types Lecture Notes in Computer Science | 2008-06-03 | Paper |
| Automata, Languages and Programming Lecture Notes in Computer Science | 2005-08-24 | Paper |
Research outcomes over time
This page was built for person: Robert Atkey
