20092021
If you made any changes in Pure these will be visible here soon.

Research Output 2009 2019

2019

Dijkstra monads for all

Maillard, K., Ahman, D., Atkey, R., Martínez, G., Hritcu, C., Rivas, E. & Tanter, É., 1 Aug 2019, In : Proceedings of the ACM on Programming Languages (PACMPL). 3, ICFP, 29 p., 104.

Research output: Contribution to journalArticle

Open Access
File
Specifications
Semantics
2018

A type and scope safe universe of syntaxes with binding: their semantics and proofs

Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 23 Sep 2018. 30 p.

Research output: Contribution to conferencePaper

Open Access
File
Computer programming languages
Semantics
Substitution reactions
Binders
Printing
1 Citation (Scopus)

The syntax and semantics of quantitative type theory

Atkey, R., 1 May 2018, (Accepted/In press) LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, July 9--12, 2018, Oxford, United Kingdom. New York, 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Semantics
Linear algebra
Refining
2017
4 Citations (Scopus)

Continuation passing style for effect handlers

Hillerström, D., Lindley, S., Atkey, R. & Sivaramakrishnan, KC., 3 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Miller, D. (ed.). Germany, p. 18:1-18:19 19 p. 18. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 84).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Computer programming languages
Semantics
2 Citations (Scopus)

Observed communication semantics for classical processes

Atkey, R., 19 Mar 2017, Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. Yang, H. (ed.). Cham, Switzerland: Springer, p. 56-82 27 p. (Lecture Notes in Computer Science; vol. 10201).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Semantics
Communication
2016
9 Citations (Scopus)

Conflation confers concurrency

Atkey, R., Lindley, S. & Morris, J. G., 28 Apr 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Springer, Vol. 9600. p. 32-55 24 p. (Lecture Notes in Computer Science; vol. 9600).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Network protocols
Communication
2015
4 Citations (Scopus)

Interleaving data and effects

Atkey, R. & Johann, P., 20 Nov 2015, In : Journal of Functional Programming. 25, 44 p., e20.

Research output: Contribution to journalArticle

Open Access
File
Algebra
Functional programming
Semantics
Structured programming
Computer programming

Models for polymorphism over physical dimensions

Atkey, R., Ghani, N., Nordvall Forsberg, F., Revell, T. & Staton, S., 2015, 13th International Conference on Typed Lambda Calculi and Applications (TLCA'15). Altenkirch, T. (ed.). Wadern, Germany , p. 999-1013 15 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Type Theory
Polymorphism
Relational Model
Fibration
Group Action

ThreadSafe: static analysis for Java concurrency

Atkey, R. & Sannella, D., 30 Nov 2015, In : Electronic Communications of the EASST. 72, 15 p.

Research output: Contribution to journalConference Contribution

Open Access
File
Static analysis
Defects
2014
10 Citations (Scopus)

A relationally parametric model of dependent type theory

Atkey, R., Ghani, N. & Johann, P., 24 Jan 2014, POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT: Symposium on Principles of Programming Languages. New York, NY., p. 503-515 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Algebra
Invariance
1 Citation (Scopus)

From parametricity to conservation laws, via Noether's Theorem

Atkey, R., Jan 2014, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Sewell, P. (ed.). New York, p. 491-502 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Invariance
Computer programming languages
Conservation
Physics
2013
4 Citations (Scopus)

Abstraction and invariance for algebraically indexed types

Atkey, R., Johann, P. & Kennedy, A., Jan 2013, Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages : POPL '13. Giacobazzi, R. & Cousot, R. (eds.). p. 87-100 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

File
abstraction
programming language
information flow
computer science
physics
22 Citations (Scopus)

Productive coprogramming with guarded recursion

Atkey, R. & McBride, C., Sep 2013, (Accepted/In press) Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming . 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Syntactics
Clocks
Productivity
Functional programming
Servers
2012
10 Citations (Scopus)

Fibrational induction meets effects

Atkey, R., Ghani, N., Jacobs, B. & Johann, P., 2012, Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2011. Birkedal, L. (ed.). Springer, Vol. 7213. p. 42-57 16 p. (Lecture Notes in Computer Science; vol. 7213).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Syntactics
Semantics
Polynomials
10 Citations (Scopus)

Refining inductive types

Atkey, R., Johann, P. & Ghani, N., 4 Jun 2012, In : Logical Methods in Computer Science. 8, 2, 30 p., 9.

Research output: Contribution to journalArticle

File
Refining
Refinement
Computer programming languages
Programming
Type Systems

Relational parametricity for higher kinds

Atkey, R., 2012, (Accepted/In press) Computer science logic. 15 p. (EPTCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

File
Polymorphism
Computer programming languages

The semantics of parsing with semantic actions

Atkey, R., 2012, (Accepted/In press) Proceedings of the Twenty-Seventh Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2012). Dershowitz, N. (ed.).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Context free grammars
Computer programming
Computer science
Semantics
Recovery
2011
24 Citations (Scopus)

Amortised resource analysis with separation logic

Atkey, R., 23 Jun 2011, In : Logical Methods in Computer Science. 7, 2, 17.

Research output: Contribution to journalArticle

Open Access
File
Separation Logic
Data structures
Resources
Linear programming
Concretes
7 Citations (Scopus)

What is a categorical model of arrows?

Atkey, R., 8 Mar 2011, In : Electronic Notes in Theoretical Computer Science. 229, 5, p. 19-37 19 p.

Research output: Contribution to journalConference Contribution

Open Access
File
Functional programming
Categorical
Model
Enriched Category
Functional Programming
8 Citations (Scopus)

When is a type refinement an inductive type

Atkey, R., Johann, P. & Ghani, N., 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011. Hofmann, M. (ed.). Springer, p. 72-87 16 p. (Lecture Notes in Computer Science ; vol. 6604).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Computer programming languages
2010

Amortised resource analysis with separation logic

Atkey, R., 2010, Proceedings of 19th European Symposium on Programming, ESOP 2010. Gordon, A. (ed.). Springer, Vol. 6012. p. 85-103 (Lecture Notes in Computer Science; vol. 6012).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Data structures
Concretes
5 Citations (Scopus)

Symbolic and analytic techniques for resource analysis of Java bytecode

Aspinall, D., Atkey, R., MacKenzie, K. & Sannella, D., 2010, Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Wirsing, M., Hofmann, M. & Rauschmayer, A. (eds.). Springer, Vol. 6084. p. 1-22 (Lecture Notes in Computer Science; vol. 6084).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
resources
language
2009
4 Citations (Scopus)

Algebras for parameterised monads

Atkey, R., 2009, Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009. Lenisa, M. & Tarlecki, A. (eds.). Springer, Vol. 5728. p. 3-17 15 p. (Lecture Notes in Computer Science; vol. 5728).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Monads
Adjunction
Algebra
Theorem
Demonstrate
55 Citations (Scopus)

Parameterised notions of computation

Atkey, R., 9 Jun 2009, In : Journal of Functional Programming. 19, 3-4, p. 335-376 42 p.

Research output: Contribution to journalArticle

Open Access
File
Parameterization
Computer programming languages
18 Citations (Scopus)

Syntax for free: representing syntax with binding using parametricity

Atkey, R., 2009, Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009. Curien, P-L. (ed.). Springer, Vol. 5608. p. 35-49 15 p. (Lecture Notes in Computer Science; vol. 5608).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Polymorphism
Isomorphic
Closed
Term
Parametric Model
32 Citations (Scopus)

Unembedding domain-specific languages

Atkey, R., Lindley, S. & Yallop, J., 2009, Haskell '09 Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell . Weirich, S. (ed.). p. 37-48 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book