Skip to content

Type Theory and Projections for Higher-Order Static Analysis.

Clement A. Baker-Finch

VenueCPEPM
Year1994
ProceedingsPEPM

Browse the full PEPM paper archive.