Sam Elliott

PhD Student at University of Washington

Erlang/OTP meets Dependent Types

Writeup of my Dissertation for the ICFP 2015 Student Research Competition
• Supervisor: Dr Edwin Brady