Categorical and domain theoretic models of parametric polymorphism (2005)

by L. Birkedal , R. L. Petersen , R. E. Møgelberg
Citations:9 - 6 self