Speaker Deck

Erlang Meets Dependent Types

by Sam Elliott

Published July 14, 2015 in Research

Talk given at EdLambda, in July 2015.

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

Other Presentations by this Speaker