Search

Home
Team
Publications
News

Light Dark Automatic

A type-theory for higher-order amortized analysis

January 2020

Type

© 2025 Information Security and Privacy Research Group at UNSW - All rights reserved.

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite