A bisimulation for type abstraction and recursion (2005)

by Eijiro Sumii , Benjamin C. Pierce
Venue:SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:48 - 4 self

Document Versions

A bisimulation for type abstraction and recursion –Eijiro Sumii, Benjamin C. Pierce — 2005 — SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
A bisimulation for type abstraction and recursion –Eijiro Sumii, Benjamin C. Pierce — 2005 — In POPL ’05: Proceedings of the 32nd ACM SIGPLAN- symposium on Principles of
A bisimulation for type abstraction and recursion –Eijiro Sumii, Benjamin C. Pierce — 2005 — In Proc. of POPL
A bisimulation for type abstraction and recursion –Eijiro Sumii, Benjamin C. Pierce — 2005 — In Proceedings 32nd Annual ACM Symposium on Principles of Programming Languages