Skip to content

A Simple Semantics for Polymorphic Recursion.

William L. Harrison

VenueBAPLAS
Year2005
ProceedingsAPLAS

Browse the full APLAS paper archive.