Erlang/OTP Meets Dependent Types

334a587ef1901e2d48dfd15f90522496?s=47 Sam Elliott
September 04, 2015

Erlang/OTP Meets Dependent Types

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/

334a587ef1901e2d48dfd15f90522496?s=128

Sam Elliott

September 04, 2015
Tweet