Advanced Topics In Types And Programming Languages

By Benjamin C. Pierce. 2004

350 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/cf7e37c670203686b3a3faef188a33eac21150bf

Citations in the corpus