Defunctionalization with Dependent Types.

Yulong Huang Jeremy Yallop

Published in: CoRR (2023)

Keyphrases

website
real time
data structure
preprocessing
information technology
image retrieval
email
management system