Bob Atkey

Lecturer B

  1. 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: ResearchConference contribution

  2. Continuation passing style for effect handlers

    Hillerström, D., Lindley, S., Atkey, R. & Sivaramakrishnan, K. C. 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: ResearchConference contribution

  3. 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: ResearchConference contribution

  4. 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)

    Research output: ResearchChapter

  5. ThreadSafe: static analysis for Java concurrency

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

    Research output: Research - peer-reviewConference Contribution

  6. Interleaving data and effects

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

    Research output: Research - peer-reviewArticle

  7. 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: ResearchConference contribution

  8. 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: ResearchConference contribution

  9. A relationally parametric model of dependent type theory

    Atkey, R., Ghani, N. & Johann, P. 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: ResearchConference contribution

  10. 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: ResearchConference contribution

Previous 1 2 3 Next