Robert Atkey
From MaRDI portal
Person:2888472
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 |
| 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 |
| Effect handlers via generalised continuations Journal of Functional Programming | 2020-05-26 | Paper |
| Continuation passing style for effect handlers | 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
