Sam Lindley

Search results

• 2017

  Message from the chairs

  Lindley, S. & Yorgey, B., 3 Sept 2017, In: TyDe 2017 - Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, co-located with ICFP 2017. p. iii 1 p.

  Research output: Contribution to journal › Editorial