Speaker Deck

Erlang/OTP Meets Dependent Types

by Sam Elliott

Published September 4, 2015 in Research

Talk given at Erlang Workshop 2015, September 2015.

Extended Abstract (for ICFP Student Research Competition): http://lenary.co.uk/publications/erlang_deptypes_src/

My Dissertation: http://lenary.co.uk/publications/dissertation/

Other Presentations by this Speaker