Edinburgh Research Explorer

Samuel Lindley

(Former employee or visitor)

  1. 2020
  2. Effects for Efficiency: Asymptotic Speedup with First-Class Control

    Hillerström, D., Lindley, S. & Longley, J., 2 Aug 2020, In: Proceedings of the ACM on Programming Languages (PACMPL). 4, ICFP, p. 1-29 29 p., 100.

    Research output: Contribution to journalArticlepeer-review

  3. 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

  4. 2019
  5. On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control

    Forster, Y., Kammar, O., Lindley, S. & Pretnar, M., 8 Oct 2019, In: Journal of Functional Programming. 29, 44 p., E15.

    Research output: Contribution to journalArticlepeer-review

  6. Exceptional Asynchronous Session Types: Session Types without Tiers

    Fowler, S., Lindley, S., Morris, J. G. & Decova, S., 2 Jan 2019, In: Proceedings of the ACM on Programming Languages (PACMPL). 3, POPL, 29 p., 28.

    Research output: Contribution to journalArticlepeer-review

  7. 2018
  8. Shallow Effect Handlers

    Hillerström, D. & Lindley, S., 22 Oct 2018, 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

  9. Encapsulating effects

    Lindley, S., 2018, p. 114-118. 5 p.

    Research output: Contribution to conferenceAbstractpeer-review

  10. 2017
  11. 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

  12. On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control

    Foster, Y., Kammar, O., Lindley, S. & Pretnar, M., 1 Sep 2017, In: Proceedings of the ACM on Programming Languages (PACMPL). 1, ICFP, p. 13:1-13:29 29 p., 13.

    Research output: Contribution to journalArticlepeer-review

  13. 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

  14. Lightweight functional session types

    Lindley, S. & Morris, J. G., 17 Feb 2017, (Accepted/In press) Behavioural Types: from Theory to Tools. Gay, S. J. & Ravara, A. (eds.). River Publishers

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Previous 1 2 3 4 5 Next