Every bit counts: The binary representation of typed data and programs

In  Journal of Functional Programming

Details

TypeArticle
URLhttp://dx.doi.org/10.1017/S0956796812000263
Pages529-573
Volume22
NumberSpecial Issue 4-5
> Publications > Every bit counts: The binary representation of typed data and programs