No photo of Samuel Lindley
  • EH14 4AS

    United Kingdom

20052020

Research output per year

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

Fingerprint Dive into the research topics where Samuel Lindley is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Co Author Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

A Polymorphic RPC Calculus

Choi, K., Cheney, J., Fowler, S. & Lindley, S., 5 Jun 2020, In : Science of Computer Programming. 197, 102499.

Research output: Contribution to journalArticle

  • Doo bee doo bee doo

    Convent, L., Lindley, S., McBride, C. & McLaughlin, C., 2020, In : Journal of Functional Programming. 30, e9.

    Research output: Contribution to journalArticle

  • Effect handlers via generalised continuations

    Hillerström, D., Lindley, S. & Atkey, R., 2020, In : Journal of Functional Programming. 30, e5.

    Research output: Contribution to journalArticle

  • Effects for efficiency: Asymptotic speedup with first-class control

    Hillerström, D., Lindley, S. & Longley, J., 19 Jun 2020, (Accepted/In press).

    Research output: Contribution to conferencePaper

    Open Access
  • FreezeML: Complete and easy type inference for first-class polymorphism

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

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

    Open Access