Speaker Deck

Erlang meets Dependent Types

by Sam Elliott

Published June 15, 2015 in Research

Talk given at SPLS St Andrews, June 2015.

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

Other Presentations by this Speaker