A Complete Characterization of Observational Equivalence in Polymorphic

Eijiro Sumii

Browse the full CSL paper archive.