If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution book

Search results

  • 2018

    The syntax and semantics of quantitative type theory

    Atkey, R., 9 Jul 2018, LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, July 9-12, 2018, Oxford, United Kingdom. New York, p. 56-65 10 p.

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

    Open Access
    File
    19 Citations (Scopus)
    55 Downloads (Pure)
  • 2017

    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
    16 Citations (Scopus)
    30 Downloads (Pure)
  • Observed communication semantics for classical processes

    Atkey, R., 19 Mar 2017, (E-pub ahead of print) 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
    4 Citations (Scopus)
    47 Downloads (Pure)
  • 2015

    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
    71 Downloads (Pure)
  • 2014

    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
    21 Citations (Scopus)
    12 Downloads (Pure)
  • 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
    1 Citation (Scopus)
    64 Downloads (Pure)
  • 2013

    Abstraction and invariance for algebraically indexed types

    Atkey, R., Johann, P. & Kennedy, A., 25 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

    Open Access
    File
    5 Citations (Scopus)
    36 Downloads (Pure)
  • 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

    27 Citations (Scopus)
  • 2012

    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
    10 Citations (Scopus)
    45 Downloads (Pure)
  • 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
    41 Downloads (Pure)
  • 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

  • 2011

    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

    8 Citations (Scopus)
  • 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
    63 Downloads (Pure)
  • 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
    5 Citations (Scopus)
    30 Downloads (Pure)
  • 2009

    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
    5 Citations (Scopus)
    528 Downloads (Pure)
  • 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
    19 Citations (Scopus)
    38 Downloads (Pure)
  • 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

    36 Citations (Scopus)