Sam Lindley

Filter
Conference contribution

Search results

  • 2024

    Scoped Effects as Parameterized Algebraic Theories

    Lindley, S., Matache, C., Moss, S. K., Staton, S., Wu, N. & Yang, Z., 5 Apr 2024, Proceedings of the 33rd European Symposium on Programming ESOP 2024. Springer, Vol. 14576. p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 14576).

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

    Open Access
    File
  • 2021

    A Typed Slicing Compilation of the Polymorphic RPC Calculus

    Choi, K., Cheney, J., Lindley, S. & Reynders, B., 6 Sept 2021, Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021). ACM, 15 p.

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

    Open Access
    File
  • Practical Normalization by Evaluation for EDSLs

    Valliappan, N., Russo, A. & Lindley, S., 18 Aug 2021, Proceedings of the 14th ACM SIGPLAN International Haskell Symposium (Haskell 2021). Virtual, Republic of Korea: ACM, p. 56-70 15 p.

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

    Open Access
    File
  • Separating Sessions Smoothly

    Fowler, S., Kokke, W., Dardha, O., Lindley, S. & Morris, J. G., 13 Aug 2021, 32nd International Conference on Concurrency Theory (CONCUR 2021). Haddad, S. & Varacca, D. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 36:1-36:18 (Leibniz International Proceedings in Informatics (LIPIcs); vol. 203).

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

    Open Access
    File
  • 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
  • 2018

    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

    Continuation Passing Style for Effect Handlers

    Hillerström, D., Lindley, S., Atkey, R. & Sivaramakrishnan, KC., 9 Sept 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
  • 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
  • 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
  • 2016

    Liberating Effects with Rows and Handlers

    Hillerström, D. & Lindley, S., 18 Sept 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
  • Embedding session types in Haskell

    Lindley, S. & Morris, J. G., 8 Sept 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
  • Talking bananas: Structural Recursion for Session Types

    Lindley, S. & Morris, J. G., 4 Sept 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
  • 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
  • 2015

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

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

  • 2012

    Embedding F

    Lindley, S., 2012, 8th ACM SIGPLAN Workshop on Generic Programming (WGP 2012): 9 September 2012, Copenhagen, Denmark. ACM, 11 p.

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

  • Row-based Effect Types for Database Integration

    Lindley, S. & Cheney, J., 2012, Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation. New York, NY, USA: ACM, p. 91-102 12 p. (TLDI '12).

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

  • 2011

    DBWiki: A Structured Wiki for Curated Data and Collaborative Data Management

    Buneman, P., Cheney, J., Lindley, S. & Müller, H., 12 Jun 2011, Proceedings of the 2011 ACM SIGMOD International Conference on Management of Data. New York, NY, USA: ACM, p. 1335-1338 4 p. (SIGMOD '11).

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

  • DBWiki: a database wiki prototyped in Links.

    Cheney, J., Lindley, S. & Muller, H., 2011, DBPL 2011 The 13th International Symposium on Database Programming Languages: August 29th, 2011 Seattle, Washington, USA. 8 p.

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

  • Using Links to prototype a Database Wiki

    Cheney, J., Lindley, S. & Müller, H., 2011, DBPL.

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

    Open Access
    File
  • 2010

    Using A General-Purpose Database Wiki for Biological Database Curation

    Müller, H., Lindley, S., Sharman, J., Harmar, A., Cheney, J. & Buneman, P., Nov 2010, Network Tools and Applications in Biology NETTAB–BBCC 2010 Biological Wikis. Aracne editrice, p. 37-43

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

  • 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

  • 2009

    Accumulating bindings

    Lindley, S., 2009, 2009 Workshop on Normalization by Evaluation: August 15, 2009 Los Angeles, California . 8 p.

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

    File
  • Unembedding domain-specific languages

    Atkey, R., Lindley, S. & Yallop, J., 2009, Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009. ACM, p. 37-48 12 p.

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

  • 2008

    Many holes in Hindley-Milner

    Lindley, S., Jun 2008, ML '08 Proceedings of the 2008 ACM SIGPLAN workshop on ML . p. 59-67 9 p.

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

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

    Extensional Rewriting with Sums

    Lindley, S., 2007, Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings. Springer Berlin Heidelberg, Vol. 4583. p. 255-271 17 p.

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

    File
  • Implementing deterministic declarative concurrency using sieves

    Lindley, S., 2007, Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, DAMP 2007, Nice, France, January 16, 2007. ACM, p. 45-49 5 p.

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

    File
  • 2006

    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

    Reducibility and TT-lifting for computation types

    Lindley, S. & Stark, I., 2005, Typed Lambda Calculi and Applications. Urzyczyn, P. (ed.). Berlin: Springer-Verlag GmbH, p. 262-277 16 p. (Lecture Notes in Computer Science; vol. 3461).

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

    File
  • Shrinking reductions in SML. NET

    Benton, N., Kennedy, A., Lindley, S. & Russo, C., 2005, Implementation and Application of Functional Languages. Springer-Verlag Berlin Heidelberg, p. 142-159 18 p.

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

    File