More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Robert Atkey

> Home > Persons

Person information

affiliation: University of Strathclyde, Department of Computer and Information Sciences, Glasgow, UK

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/Atkey24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/Atkey24
Robert Atkey:
Polynomial Time and Dependent Types. Proc. ACM Program. Lang. 8(POPL): 2288-2317 (2024)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-06379
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-06379
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, Ekaterina Komendantskaya:
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs. CoRR abs/2401.06379 (2024)
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-01353
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-01353
Matthew L. Daggitt, Wen Kokke, Robert Atkey:
Efficient compilation of expressive problem space specifications to neural network solvers. CoRR abs/2402.01353 (2024)
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-06233
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-06233
Robert Atkey, Wen Kokke:
A Semantic Proof of Generalised Cut Elimination for Deep Inference. CoRR abs/2404.06233 (2024)
2023
[c29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DaggittKKA0SCCL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DaggittKKA0SCCL23
Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee:
The Vehicle Tutorial: Neural Network Verification with Vehicle. FoMLAS@CAV 2023: 1-5
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/DaggittAKKA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/DaggittAKKA23
Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi:
Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively. CPP 2023: 102-120
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-09145
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-09145
Robert Atkey:
Polynomial Time and Dependent Types. CoRR abs/2307.09145 (2023)
2022
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/WoodA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/WoodA22
James Wood, Robert Atkey:
A Framework for Substructural Type Systems. ESOP 2022: 376-402
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-05207
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-05207
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi, Ekaterina Komendantskaya:
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers. CoRR abs/2202.05207 (2022)
2021
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AllaisACMM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AllaisACMM21
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna:
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. J. Funct. Program. 31: e22 (2021)
2020
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/HillerstromLA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/HillerstromLA20
Daniel Hillerström, Sam Lindley, Robert Atkey:
Effect handlers via generalised continuations. J. Funct. Program. 30: e5 (2020)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/KokkeKKAA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/KokkeKKAA20
Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall:
Neural Networks, Secure by Construction - An Exploration of Refinement Types. APLAS 2020: 67-85
[c25]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2005-02247
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-02247
James Wood, Robert Atkey:
A Linear Algebra Approach to Linear Metatheory. Linearity&TLLA@IJCAR-FSCD 2020: 195-212
[c24]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2101-12045
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-12045
Robert Atkey, Bruno Gavranovic, Neil Ghani, Clemens Kupke, Jérémy Ledent, Fredrik Nordvall Forsberg:
Compositional Game Theory, Compositionally. ACT 2020: 198-214
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-11001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-11001
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna:
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs. CoRR abs/2001.11001 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MaillardAAMHRT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MaillardAAMHRT19
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter:
Dijkstra monads for all. Proc. ACM Program. Lang. 3(ICFP): 104:1-104:29 (2019)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-01237
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-01237
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter:
Dijkstra Monads for All. CoRR abs/1903.01237 (2019)
2018
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/AllaisA0MM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/AllaisA0MM18
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna:
A type and scope safe universe of syntaxes with binding: their semantics and proofs. Proc. ACM Program. Lang. 2(ICFP): 90:1-90:30 (2018)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Atkey18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Atkey18
Robert Atkey:
Syntax and Semantics of Quantitative Type Theory. LICS 2018: 56-65
[e2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1807-03732
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-03732
Robert Atkey, Sam Lindley:
Proceedings of the 7th Workshop on Mathematically Structured Functional Programming, MSFP@FSCD 2018, Oxford, UK, 8th July 2018. EPTCS 275, 2018 [contents]
2017
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Atkey17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Atkey17
Robert Atkey:
Observed Communication Semantics for Classical Processes. ESOP 2017: 56-82
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/HillerstromLAS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/HillerstromLAS17
Daniel Hillerström, Sam Lindley, Robert Atkey, K. C. Sivaramakrishnan:
Continuation Passing Style for Effect Handlers. FSCD 2017: 18:1-18:19
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-08332
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-08332
Robert Atkey, Michel Steuwer, Sam Lindley, Christophe Dubach:
Strategy Preserving Compilation for Parallel Functional Code. CoRR abs/1710.08332 (2017)
2016
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AtkeyLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AtkeyLM16
Robert Atkey, Sam Lindley, J. Garrett Morris:
Conflation Confers Concurrency. A List of Successes That Can Change the World 2016: 32-55
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AtkeyK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AtkeyK16
Robert Atkey, Neelakantan R. Krishnaswami:
Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016. EPTCS 207, 2016 [contents]
2015
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/AtkeyS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/AtkeyS15
Robert Atkey, Donald Sannella:
ThreadSafe: Static Analysis for Java Concurrency. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AtkeyJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AtkeyJ15
Robert Atkey, Patricia Johann:
Interleaving data and effects. J. Funct. Program. 25 (2015)
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tlca/AtkeyGFRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/AtkeyGFRS15
Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton:
Models for Polymorphism over Physical Dimension. TLCA 2015: 45-59
2014
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Atkey14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Atkey14
Robert Atkey:
From parametricity to conservation laws, via Noether's theorem. POPL 2014: 491-502
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/AtkeyGJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AtkeyGJ14
Robert Atkey, Neil Ghani, Patricia Johann:
A relationally parametric model of dependent type theory. POPL 2014: 503-516
2013
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/AtkeyM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/AtkeyM13
Robert Atkey, Conor McBride:
Productive coprogramming with guarded recursion. ICFP 2013: 197-208
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/AtkeyJK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AtkeyJK13
Robert Atkey, Patricia Johann, Andrew Kennedy:
Abstraction and invariance for algebraically indexed types. POPL 2013: 87-100
2012
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1205-2492
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1205-2492
Robert Atkey, Patricia Johann, Neil Ghani:
Refining Inductive Types. Log. Methods Comput. Sci. 8(2) (2012)
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/csl/Atkey12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/Atkey12
Robert Atkey:
Relational Parametricity for Higher Kinds. CSL 2012: 46-61
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/AtkeyGJJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AtkeyGJJ12
Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann:
Fibrational Induction Meets Effects. FoSSaCS 2012: 42-57
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Atkey12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Atkey12
Robert Atkey:
The Semantics of Parsing with Semantic Actions. LICS 2012: 75-84
2011
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1104-1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-1998
Robert Atkey:
Amortised Resource Analysis with Separation Logic. Log. Methods Comput. Sci. 7(2) (2011)
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/AtkeyJG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AtkeyJG11
Robert Atkey, Patricia Johann, Neil Ghani:
When Is a Type Refinement an Inductive Type? FoSSaCS 2011: 72-87
2010
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/MacleanIDA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/MacleanIDA10
Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey:
Refinement and Term Synthesis in Loop Invariant Generation. WING@ETAPS/IJCAR 2010: 167-182
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/Atkey10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Atkey10
Robert Atkey:
Amortised Resource Analysis with Separation Logic. ESOP 2010: 85-103
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/AspinallAMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/AspinallAMS10
David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella:
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. TGC 2010: 1-22

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Atkey09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Atkey09
Robert Atkey:
Parameterised notions of computation. J. Funct. Program. 19(3-4): 335-376 (2009)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Atkey09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Atkey09
Robert Atkey:
Algebras for Parameterised Monads. CALCO 2009: 3-17
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/AtkeyLY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/AtkeyLY09
Robert Atkey, Sam Lindley, Jeremy Yallop:
Unembedding domain-specific languages. Haskell 2009: 37-48
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tlca/Atkey09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/Atkey09
Robert Atkey:
Syntax for Free: Representing Syntax with Binding Using Parametricity. TLCA 2009: 35-49
2008
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Atkey11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Atkey11
Robert Atkey:
What is a Categorical Model of Arrows? MSFP@ICALP 2008: 19-37
2007
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/types/Atkey07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Atkey07
Robert Atkey:
CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types. TYPES 2007: 18-32
2006
[c2]
- view
  - electronic edition @ bcs.org
  - no references & citations available
- export record
  dblp key:
  - conf/mpc/Atkey06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Atkey06
Robert Atkey:
Parameterised Notions of Computation. MSFP@MPC 2006
2004
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Atkey04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Atkey04
Robert Atkey:
A lambda-Calculus for Resource Separation. ICALP 2004: 158-170

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.