Sign in

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

Robert Harper
Published in: CALCO (2023)
Keyphrases