Integrating Cost and Behavior in Type Theory (Invited Talk).

Robert Harper

Browse the full CALCO paper archive.