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

Search results

  • 2019

    System F in Agda, for Fun and Profit

    Chapman, J., Kireev, R., Nester, C. & Wadler, P., 20 Oct 2019, Mathematics of Program Construction. Hutton, G. (ed.). Cham: Springer International Publishing, p. 255-297 43 p. ( Lecture Notes in Computer Science (LNCS); vol. 11825).

    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
  • Unraveling Recursion: Compiling an IR with Recursion to System F

    Peyton Jones, M., Gkoumas, V., Kireev, R., MacKenzie, K., Nester, C. & Wadler, P., 20 Oct 2019, Mathematics of Program Construction. Hutton, G. (ed.). Cham: Springer International Publishing, p. 414-443 30 p. (Lecture Notes in Computer Science (LNCS); vol. 11825).

    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
  • 2017

    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
  • Quantified Class Constraints

    Bottu, G-J., Karachalias, G., Schrijvers, T., Oliveira, B. C. D. S. & Wadler, P., 7 Sep 2017, ICFP Workshops 2017 - 10th ACM SIGPLAN International Haskell Symposium (Haskell 2017).. ACM, p. 148-161 14 p. (ACM SIGPLAN Notices; vol. 52, no. 10).

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

    Open Access
    File
  • 2016

    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
  • 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
  • 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
  • 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
  • 2014

    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
  • 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
  • 2012

    Propositions as Sessions

    Wadler, P., Sep 2012, ICFP '12 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. ACM, p. 273-286 14 p.

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

    Open Access
    File
  • 2011

    Blame for all

    Ahmed, A., Findler, R. B., Siek, J. G. & Wadler, P., 2011, Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL '11). New York, NY, USA: ACM, p. 201-214 14 p.

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

  • 2010

    The Audacity of Hope: Thoughts on Reclaiming the Database Dream

    Lindley, S. & Wadler, P., 2010, Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Springer Berlin Heidelberg, Vol. 6012. p. 1 1 p.

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

  • Threesomes, with and without blame

    Siek, J. G. & Wadler, P., 2010, Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL '10). New York, NY, USA: ACM, p. 365-376 12 p.

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

    Open Access
    File
  • 2009

    Blame for all

    Ahmed, A., Findler, R. B., Matthews, J. & Wadler, P., 2009, Workshop on Script to Program Evolution (STOP). p. 1-13 13 p.

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

  • The RPC calculus

    Cooper, E. & Wadler, P., 2009, Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal. p. 231-242 12 p.

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

  • Threesomes, With and Without Blame

    Wadler, P. & Siek, J., 2009, Proceedings for the 1st workshop on Script to Program Evolution. ACM, p. 34-46 13 p.

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

  • Well-Typed Programs Can't Be Blamed

    Wadler, P. & Findler, R. B., 2009, Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Castagna, G. (ed.). Springer-Verlag GmbH, p. 1-16 16 p. (Lecture Notes in Computer Science; vol. 5502).

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

    Open Access
    File
  • 2008

    Idioms are oblivious, arrows are meticulous, monads are promiscuous

    Lindley, S., Wadler, P. & Yallop, J., 2008, Mathematically Structured Functional Programming 2008. 19 p.

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

    File
  • The Essence of Form Abstraction

    Cooper, E., Lindley, S., Wadler, P. & Yallop, J., 2008, Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings. p. 205-220 16 p.

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

    Open Access
    File
  • 2007

    07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services

    Hull, R., Thiemann, P. & Wadler, P., 7 Aug 2007, Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007. 17 p.

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

    Open Access
    File
  • 07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services

    Hull, R., Thiemann, P. & Wadler, P., 2007, Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007. 4 p.

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

    Open Access
    File
  • 07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services

    Hull, R., Thiemann, P. & Wadler, P., 2007, Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007. 17 p.

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

    Open Access
    File
  • A history of Haskell: being lazy with class

    Hudak, P., Hughes, J., Jones, S. L. P. & Wadler, P., 2007, Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007. p. 1-55 55 p.

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

  • Comprehensive comprehensions

    Jones, S. L. P. & Wadler, P., 2007, Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007. p. 61-72 12 p.

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

    Open Access
    File
  • 2006

    Faith, evolution, and programming languages: from Haskell to Java to links

    Wadler, P., 2006, Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA. p. 508 1 p.

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

  • Links: Web Programming Without Tiers

    Cooper, E., Lindley, S., Wadler, P. & Yallop, J., 2006, Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Springer Berlin Heidelberg, Vol. 4709. p. 266-296 31 p.

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

    Open Access
    File
  • 2005

    Call-by-Value Is Dual to Call-by-Name - Reloaded

    Wadler, P., 2005, Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings. Springer Berlin Heidelberg, p. 185-203 19 p. (Lecture Notes in Computer Science; vol. 3467).

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

  • 2001

    A Semi-monad for Semi-structured Data (ICDT Version)

    Fernandez, M., Simeon, J. & Wadler, P., 2001, Database Theory — ICDT 2001: 8th International Conference London, UK, January 4–6, 2001 Proceedings. Bussche, J. & Vianu, V. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 263-300 38 p. (Lecture Notes in Computer Science; vol. 1973).

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

  • Et tu, XML? The downfall of the relational empire (abstract)

    Wadler, P., 2001, VLDB 2001, Proceedings of 27th International Conference on Very Large Data Bases, September 11-14, 2001, Roma, Italy. p. 15 1 p.

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

    Open Access
    File
  • MSL - a model for W3C XML schema

    Brown, A., Fuchs, M., Robie, J. & Wadler, P., 2001, WWW '01 Proceedings of the 10th international conference on World Wide Web. ACM, p. 191-200 10 p.

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

  • The Girard-Reynolds Isomorphism

    Wadler, P., 2001, Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings. Springer Berlin Heidelberg, p. 468-491 24 p. (Lecture Notes in Computer Science; vol. 2215).

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

  • 2000

    An Algebra for XML Query

    Fernández, M. F., Siméon, J. & Wadler, P., 2000, Foundations of Software Technology and Theoretical Computer Science: 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings.. Springer Berlin Heidelberg, p. 11-45 35 p. (Lecture Notes in Computer Science; vol. 1974).

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

  • Two Ways to Bake Your Pizza - Translating Parameterised Types into Java: Generic Programming

    Odersky, M., Runne, E. & Wadler, P., 2000, Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers. Jazayeri, M., Loos, R. K. & Musser, D. (eds.). Springer-Verlag GmbH, p. 114-132 19 p. (Lecture Notes in Computer Science; vol. 1766).

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

  • 1999

    Featherwieght Java: A Minimal Core Calculus for Java and GJ

    Igarashi, A., Pierce, B. C. & Wadler, P., 1999, Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages Applications (OOPSLA '99), Denver, Colorado, USA, November 1-5, 1999.. ACM, p. 132-146 15 p.

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

  • 1998

    A statically safe alternative to virtual types

    Bruce, K., Odersky, M. & Wadler, P., 1998, ECOOP'98 - Object-Oriented Programming: 12th European Conference Brussels, Belgium, July 20–24, 1998 Proceedings . Jul, E. (ed.). Springer-Verlag GmbH, p. 523-549 27 p. (Lecture Notes in Computer Science; vol. 1445).

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

  • Making the future safe for the past: adding genericity to the Java programming language

    Bracha, G., Odersky, M., Stoutamire, D. & Wadler, P., 1998, OOPSLA '98 Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. New York, NY, USA: ACM, p. 183-200 18 p.

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

  • The marriage of effects and monads

    Wadler, P., 1998, Proceedings of the third ACM SIGPLAN international conference on Functional programming. New York, NY, USA: ACM, p. 63-74 12 p.

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

  • 1997

    A Practical Subtyping System For Erlang

    Marlow, S. & Wadler, P., 1997, In Proceedings of the International Conference on Functional Programming (ICFP '97. ACM Press, p. 136-149 14 p.

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

  • Functional Programming: An Angry Half-Dozen

    Wadler, P., 1997, Database Programming Languages, 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997, Proceedings. Cluet, S. & Hull, R. (eds.). Springer-Verlag GmbH, p. 25-34 10 p. (Lecture Notes in Computer Science; vol. 1369).

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

  • Pizza into Java: Translating theory into practice

    Odersky, M. & Wadler, P., 1997, In Proc. 24th ACM Symposium on Principles of Programming Languages. ACM Press, p. 146-159 14 p.

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

  • 1996

    A Reflection on Call-by-Value

    Sabry, A. & Wadler, P., 1996, Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96), Philadelphia, Pennsylvania, May 24-26, 1996.. ACM, p. 13-24 12 p.

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

  • Linear logic, monads and the lambda calculus

    Benton, N. & Wadler, P., 1 Jul 1996, Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on. p. 420 -431

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

  • 1995

    A Second Look at Overloading

    Odersky, M., Wadler, P. & Wehr, M., 1995, FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture. ACM, p. 135-146 12 p.

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