Sam Elliott

PhD Student at University of Washington



Checked C for Safety, Gradually Paper →

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

2017 • Under Submission

Download [PDF]

Putting the Checks into Checked C Technical Report →

Archibald Samuel Elliot

October 2017 • Checked C Technical Report Number 2

Download [PDF]


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 →