Sam Lindley profile picture

Sam Lindley

Is this your author profile? Create an account to claim and customize it!

Stand Alone

TyDe'17 2st ACM SIGPLAN International Workshop on Type-Driven Development
PEPM '21 Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation : January 18-19, 2021, Virtual, Denmark
A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday