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

ANDREW J. KENNEDY and DIMITRIOS VYTINIOTIS

Details

Publication typeArticle
Published inJournal of Functional Programming
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