## Kotaro Takeda, Naoki Kobayashi 0001, Kazuya Yaguchi, Ayumi Shinohara

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

ICFP, 2016.

@inproceedings{ICFP-2016-Takeda0YS,
author = "Kotaro Takeda and Naoki Kobayashi 0001 and Kazuya Yaguchi and Ayumi Shinohara",
booktitle = "{Proceedings of the 21st International Conference on Functional Programming}",
doi = "10.1145/2951913.2951918",
isbn = "978-1-4503-4219-3",
pages = "146--157",
publisher = "{ACM}",
title = "{Compact bit encoding schemes for simply-typed lambda-terms}",
year = 2016,
}

### Tags: