Skip to content

A type theory for incremental computational complexity with control flow changes.

Ezgi iek, Zoe Paraskevopoulou, Deepak Garg

VenueAICFP
Year2016
ProceedingsICFP

Browse the full ICFP paper archive.