Skip to content

On the Logical Foundations of Staged Computation (Abstract of Invited Talk).

Frank Pfenning

VenueCPEPM
Year2000
ProceedingsPEPM

Browse the full PEPM paper archive.