conference

Compact bit encoding schemes for simply-typed lambda-terms.

Kotaro Takeda, Naoki Kobayashi, Kazuya Yaguchi, Ayumi Shinohara

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

DOI External Link

Abstract / 概要

DOI: 10.1145/2951913.2951918