Edinburgh Research Explorer

Dr Samuel Lindley

(Former employee or visitor)

Research outputs

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

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

  2. Exceptional Asynchronous Session Types: Session Types without Tiers

    Research output: Contribution to journalArticle

View all (49) »

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