E RLANG OTP Meets Dependent Types Archibald Samuel Elliott University of St Andrews ACM Member Number: [ REDACTED ] - International Conference on Functional Programming - Document - PDFSEARCH.IO

First Page	Meta Content
	E RLANG/OTP Meets Dependent Types Archibald Samuel Elliott University of St Andrews ACM Member Number: [ REDACTED ] Add to Reading List Document Date: 2016-03-31 14:23:30 Open Document File Size: 37,03 KB Share Result on Facebook

E RLANG/OTP Meets Dependent Types Archibald Samuel Elliott University of St Andrews ACM Member Number: [ REDACTED ]Add to Reading List