Archibald Samuel Elliott

Compiler & Language Developer

Publications

← Home

2019

2018

2017

Putting the Checks into Checked C

Archibald Samuel Elliott

October 2017 • Checked C Technical Report Number 2

2015

Erlang/OTP meets Dependent Types

Archibald Samuel Elliott

ICFP SRC '15 • Extended Abstract

A Concurrency System for Idris & Erlang

Archibald Samuel Elliott

April 2015 • Bachelors Dissertation

2014

2013

2012

Skel: A Streaming Process-based Skeleton Library for Erlang

Archibald Elliott, Christopher Brown, Marco Danelutto, Kevin Hammond

August 2012 • Early Draft • Never Submitted