Skip to content

A Categorical Interpretation of Landin's Correspondence Principle.

Anindya Banerjee, David A. Schmidt

VenueBMFPS
Year1993
ProceedingsMFPS

Browse the full MFPS paper archive.