Domain-theoretical models of parametric polymorphism
L. Birkedal, R.E. Møgelberg, R.L. PetersenVolume:
388
Year:
2007
Language:
english
Pages:
21
DOI:
10.1016/j.tcs.2007.06.016
File:
PDF, 588 KB
english, 2007