Skip to content

Relational Parametricity for Higher Kinds.

Robert Atkey

VenueBCSL
Year2012
ProceedingsCSL

Browse the full CSL paper archive.