Login / Signup
Efficient Mendler-Style Lambda-Encodings in Cedille.
Denis Firsov
Richard Blair
Aaron Stump
Published in:
CoRR (2018)
Keyphrases
</>
orders of magnitude
similarity measure
wide range
database
learning algorithm
cost effective
computationally expensive