Sam Elliott

PhD Student at University of Washington

Publications

2015

Erlang/OTP meets Dependent Types Extended Abstract & Poster →

2015 • ICFP Student Research Competition

Download Extended Abstract [PDF]

A Concurrency System for Idris & Erlang Abstract & Download →

2015 • My Bachelors Dissertation at the University of St Andrews

Download Dissertation [PDF]Idris-Erlang on Github →