A Trace Semantics for System F Parametric Polymorphism.

Guilhem Jaber, Nikos Tzevelekos

Browse the full FOSSACS paper archive.