Compact bit encoding schemes for simply-typed lambda-terms.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016,
, pp.146-157
(2016), [peer-reviewed]
Event Date:
September 18-22, 2016