Edinburgh Research Explorer

Samuel Lindley

(Former employee or visitor)

Research outputs

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

    Research output: Contribution to journalArticle

  2. FreezeML: Complete and Easy Type Inference for First-Class Polymorphism

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

View all (50) »

Research activities & awards

  1. 7th Workshop on Mathematically Structured Functional Programming (Event)

    Activity: Publication peer-review and editorial work typesEditorial activity

  2. 22nd ACM SIGPLAN International Conference on Functional Programming (Event)

    Activity: Publication peer-review and editorial work typesEditorial activity

  3. 7th Workshop on Mathematically Structured Functional Programming (Event)

    Activity: Publication peer-review and editorial work typesEditorial activity

View all (4) »

ID: 27757