Compact bit encoding schemes for simply-typed lambda-terms
From MaRDI portal
Publication:2982009
DOI10.1145/2951913.2951918zbMath1361.68051OpenAlexW2507631408MaRDI QIDQ2982009
Ayumi Shinohara, Kotaro Takeda, Kazuya Yaguchi, Naoki Kobayashi
Publication date: 10 May 2017
Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2951913.2951918
Functional programming and lambda calculus (68N18) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Grammars and rewriting systems (68Q42)
Related Items (1)
Uses Software
This page was built for publication: Compact bit encoding schemes for simply-typed lambda-terms
