Efficient lambda encodings for Mendler-style coinductive types in Cedille.

Christopher Jenkins Aaron Stump Larry Diehl

Published in: MSFP@ETAPS (2020)

Keyphrases

computationally efficient
fixed point
database
databases
social networks
information systems
image processing
heuristic search
computationally expensive