Erlang meets Dependent Types

Erlang meets Dependent Types

Talk given at SPLS St Andrews, June 2015.

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

334a587ef1901e2d48dfd15f90522496?s=128

Sam Elliott

June 15, 2015
Tweet