No photo of Sam Lindley

Sam Lindley

DR

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

Fingerprint

Dive into the research topics where Sam Lindley is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • A Typed Slicing Compilation of the Polymorphic RPC Calculus

    Choi, K., Cheney, J., Lindley, S. & Reynders, B., 6 Sep 2021, (E-pub ahead of print) Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021). ACM

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

    Open Access
    File
  • Practical Normalization by Evaluation for EDSLs

    Valliappan, N., Russo, A. & Lindley, S., 23 Jun 2021, (Accepted/In press) Proceedings of the 14th ACM SIGPLAN International Haskell Symposium (Haskell’21). Virtual, Republic of Korea, 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
  • A Polymorphic RPC Calculus

    Choi, K., Cheney, J., Fowler, S. & Lindley, S., 1 Oct 2020, In: Science of Computer Programming. 197, 22 p., 102499.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
  • Doo bee doo bee doo

    Convent, L., Lindley, S., McLaughlin, C. & McBride, C., 31 Mar 2020, In: Journal of Functional Programming. 30, p. 1-53 53 p., e9.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File