A unifying type-theory for higher-order (amortized) cost analysis.

Vineet Rajani Marco Gaboardi Deepak Garg Jan Hoffmann

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

higher order
databases
data analysis
low order
data structure
lower bound
statistical analysis
computational model
high order