Sam Elliott

PhD Student at University of Washington

Publications

2017

Checked C for Safety, Gradually Draft Paper →

2017 • Draft Paper under Submission

Andrew Ruef, Archibald Samuel Elliott, Michael Hicks, David Tarditi

Download Draft [PDF]

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 →