Erlang Meets Dependent Types

Erlang Meets Dependent Types

Talk given at EdLambda, in July 2015.

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

334a587ef1901e2d48dfd15f90522496?s=128

Sam Elliott

July 14, 2015
Tweet