Syntactic type soundness for HM(X (2002)

by Christian Skalka, François Pottier
Venue:In Workshop on Types in Programming (TIP), volume 75 of Electronic Notes in Theoretical Computer Science