From Data Types to Session Types - A Basis for Concurrency and Distribution

Filter
Conference contribution

Search results

  • 2020

    FreezeML: Complete and Easy Type Inference for First-Class Polymorphism

    Emrich, F., Lindley, S., Stolarek, J., Cheney, J. & Coates, J., 11 Jun 2020, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery (ACM), p. 423-437 15 p.

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

    Open Access
    File
  • 2019

    Rusty Variation: Deadlock-free Sessions with Failure in Rust

    Kokke, K., 12 Sep 2019, Electronic Proceedings in Theoretical Computer Science: Proceedings 12th Interaction and Concurrency Experience . EPTCS, p. 48-60 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 304).

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

    Open Access
    File
  • Towards Races in Linear Logic

    Kokke, K., Morris, J. G. & Wadler, P., 8 Aug 2019, Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings. Riis Nielson, H. & Tuosto, E. (eds.). Springer, Cham, Vol. 11533. p. 37-53 18 p. (Lecture Notes in Computer Science; vol. 11533).

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

    Open Access
    File
  • 2018

    Programming Language Foundations in Agda

    Wadler, P., 2018, Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26 — November 30, 2018, Proceedings. Salvador, Brazil: Springer, Cham, p. 56-73 18 p. (Lecture Notes in Computer Science; vol. 11254)(Programming and Software Engineering; vol. 11254).

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

    Open Access
    File
  • Shallow Effect Handlers

    Hillerström, D. & Lindley, S., 22 Oct 2018, (E-pub ahead of print) Proceedings of 16th Asian Symposium on Programming Languages and Systems (APLAS) 2018. Wellington, New Zealand: Springer, Cham, p. 415-435 20 p. (Lecture Notes in Computer Science; vol. 11275)(Programming and Software Engineering; vol. 11275).

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

    Open Access
    File
  • 2017

    µPuppet: A Declarative Subset of the Puppet Configuration Language

    Fu, W., Perera, R., Anderson, P. & Cheney, J., 13 Jun 2017, 31st European Conference on Object-Oriented Programming (ECOOP 2017). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-29 28 p. 9. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 74).

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

    Open Access
    File
  • Constrained Type Families

    Morris, J. G. & Eisenberg, R. A., 29 Aug 2017, 22nd ACM SIGPLAN International Conference on Functional Programming.. ACM, Vol. 1. 28 p. 42

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

    Open Access
    File
  • Continuation Passing Style for Effect Handlers

    Hillerström, D., Lindley, S., Atkey, R. & Sivaramakrishnan, KC., 9 Sep 2017, The Second International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Miller, D. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 18:1-18:19 19 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 84).

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

    Open Access
    File
  • Do Be Do Be Do

    Lindley, S., McBride, C. & McLaughlin, C., 1 Jan 2017, POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. ACM, p. 500-514 15 p. (ACM SIGPLAN Notices; vol. 52, no. 1).

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

    Open Access
    File
  • Imperative functional programs that explain their work

    Ricciotti, W., Stolarek, J., Perera, R. & Cheney, J., 29 Aug 2017, 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017). p. 14:1-14:28 26 p. (Proceedings of the ACM on Programming Languages; vol. 1, no. ICFP).

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

    Open Access
    File
  • Mixed Messages: Measuring Conformance and Non-Interference in TypeScript

    Williams, J., Morris, J. G., Wadler, P. & Zalewski, J., 23 Jun 2017, The European Conference on Object-Oriented Programming (ECOOP 2017). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-28 28 p. 39. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 74).

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

    Open Access
    File
  • Mixing Metaphors: Actors as Channels and Channels as Actors

    Fowler, S., Lindley, S. & Wadler, P., 23 Jun 2017, The 31st European Conference on Object-Oriented Programming (ECOOP 2017). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-28 28 p. 11. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 74).

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

    Open Access
    File
  • 2016

    Causally consistent dynamic slicing

    Perera, R., Garg, D. & Cheney, J., 26 Aug 2016, The 27th International Conference on Concurrency Theory (CONCUR 2016). Québec City, Canada: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 59. p. 18:1-18:15 15 p. 18. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 59).

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

    Open Access
    File
  • Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

    Carbone, M., Lindley, S., Montesi, F., Schürmann, C. & Wadler, P., 24 Aug 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Québec City, Canada: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 33:1-33:15 15 p. 33. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 59).

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

    Open Access
    File
  • Embedding session types in Haskell

    Lindley, S. & Morris, J. G., 8 Sep 2016, Haskell 2016 Proceedings of the 9th International Symposium on Haskell. ACM, p. 133-145 13 p. (ACM SIGPLAN Notices; vol. 51, no. 12).

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

    Open Access
    File
  • Everything old is new again: Quoted Domain Specific Languages

    Najd, S., Lindley, S., Svenningsson, J. & Wadler, P., 2016, PEPM 2016 Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. ACM, p. 25-36 12 p.

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

    Open Access
    File
  • Liberating Effects with Rows and Handlers

    Hillerström, D. & Lindley, S., 18 Sep 2016, TyDe 2016 Proceedings of the 1st International Workshop on Type-Driven Development. ACM, p. 15-27 13 p.

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

    Open Access
    File
  • Multiparty Compatibility for Concurrent Objects

    Perera, R., Lange, J. & Gay, S. J., 20 Jun 2016, Programming Language Approaches to Concurrency- and Communication-cEntric Software (Places 2016). EPTCS, Vol. 211. p. 73-82 10 p.

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

    Open Access
    File
  • Talking bananas: Structural Recursion for Session Types

    Lindley, S. & Morris, J. G., 4 Sep 2016, ICFP 2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. Nara, Japan: ACM, p. 437-447 14 p. ( ACM SIGPLAN Notices; vol. 51, no. 9).

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

    Open Access
    File
  • The Best of Both Worlds: Linear Functional Programming without Compromise

    Morris, J. G., 4 Sep 2016, ICFP 2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. Nara, Japan: ACM, p. 448-461 14 p. (ACM SIGPLAN Notices; vol. 51, no. 9).

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

    Open Access
    File
  • Typechecking Protocols with Mungo and StMungo

    Kouzapas, D., Dardha, O., Perera, R. & Gay, S. J., 5 Sep 2016, 18th International Symposium on Principles and Practice of Declarative Programming PPDP 2016. Edinburgh, United Kingdom: ACM, p. 146-159 19 p.

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

    Open Access
    File
  • Usability of Programming Languages

    Myers, B. A., Stefik, A., Hanenberg, S., Kaijanaho, A-J., Burnett, M., Turbak, F. & Wadler, P., 2016, CHI EA '16 Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems. ACM, p. 1104-1107 4 p.

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

    Open Access
    File
  • 2015

    A complement to blame

    Wadler, P., 2015, 1st Summit on Advances in Programming Languages (SNAPL 2015). Ball, T., Bodik, R., Krishnamurthi, S., Lerner, BE. S. & Morrisett, G. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 309-320 12 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 32).

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

    Open Access
    File
  • A Semantics for Propositions as Sessions

    Lindley, S. & Morris, J. G., 18 Apr 2015, Programming Languages and Systems. Vitek, J. (ed.). Springer Berlin Heidelberg, p. 560-584 25 p. (Lecture Notes in Computer Science; vol. 9032).

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

    Open Access
    File
  • Blame and Coercion: Together Again for the First Time

    Siek, J., Thiemann, P. & Wadler, P., 2015, 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation: Portland OR 13-17 June 2015. ACM, p. 425-435 11 p.

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

    Open Access
    File
  • Generating Performance Portable Code using Rewrite Rules: From High-Level Functional Expressions to High-Performance OpenCL Code

    Steuwer, M., Fensch, C., Lindley, S. & Dubach, C., 29 Aug 2015, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming. Vancouver, BC, Canada: ACM, p. 205-217 13 p. (ACM SIGPLAN Notices; vol. 50, no. 9).

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

    Open Access
    File
  • Proof-relevant pi-calculus

    Perera, R. & Cheney, J., 2 Aug 2015, 2015 Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2015). EPTCS, Vol. 185. p. 46-70 25 p.

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

    Open Access
    File
  • Variations on Variants

    Morris, J. G., Dec 2015, Haskell '15 Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell. ACM, p. 71-81 11 p.

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

    Open Access
    File
  • 2014

    Algebraic Effects and Effect Handlers for Idioms and Arrows

    Lindley, S., 2014, Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming. New York, NY, USA: ACM, p. 47-58 12 p.

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

    Open Access
    File
  • A simple semantics for Haskell overloading

    Morris, J. G., 3 Sep 2014, Haskell '14 Proceedings of the 2014 ACM SIGPLAN symposium on Haskell : Gothenburg, Sweden. ACM, p. 107-118 12 p.

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

    Open Access
    File
  • Effective Quotation: Relating Approaches to Language-integrated Query

    Cheney, J., Lindley, S., Radanne, G. & Wadler, P., 2014, Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. New York, NY, USA: ACM, p. 15-26 12 p.

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

    Open Access
    File
  • Query Shredding: Efficient Relational Evaluation of Queries over Nested Multisets

    Cheney, J., Lindley, S. & Wadler, P., 18 Jun 2014, Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data. ACM, p. 1027-1038 12 p.

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

    Open Access
    File
  • Sessions as Propositions

    Lindley, S. & Morris, J. G., 13 Jun 2014, Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014).

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

    Open Access
    File
  • Typecasting Actors: From Akka to TAkka

    He, J., Wadler, P. & Trinder, P., 2014, Proceedings of the Fifth Annual Scala Workshop. New York, NY, USA: ACM, p. 23-33 11 p.

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

  • 2013

    A Practical Theory of Language-integrated Query

    Cheney, J., Lindley, S. & Wadler, P., 2013, Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming. New York, NY, USA: ACM, p. 403-416 14 p. (ICFP '13).

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

    Open Access
    File
  • Compositional Choreographies

    Montesi, F. & Yoshida, N., 2013, CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Springer Berlin Heidelberg, p. 425-439 15 p. (Lecture Notes in Computer Science; vol. 8052).

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

  • Handlers in action

    Kammar, O., Lindley, S. & Oury, N., 2013, ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013. ACM, p. 145-158 14 p.

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

  • Hasochism: the pleasure and pain of dependently typed haskell programming

    Lindley, S. & McBride, C., 2013, Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013. ACM, p. 81-92 12 p.

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

  • Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions

    Coppo, M., Dezani-Ciancaglini, M., Padovani, L. & Yoshida, N., 2013, Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Springer Berlin Heidelberg, p. 45-59 15 p. (Lecture Notes in Computer Science; vol. 7890).

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

  • Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

    Deniélou, P. & Yoshida, N., 2013, Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. Springer, p. 174-186 13 p. Chapter 18. (Automata, Languages, and Programming; vol. 7966).

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

  • 2010

    Instance chains: type class programming without overlapping instances

    Morris, J. G. & Jones, M. P., 2010, Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. ACM, Vol. 45. p. 375-386 12 p.

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