A bisimulation for type abstraction and recursion (2005)
Cached
Download Links
- [www.cis.upenn.edu]
- [www.kb.ecei.tohoku.ac.jp]
- [www.yl.is.s.u-tokyo.ac.jp]
- [web.yl.is.s.u-tokyo.ac.jp]
- DBLP
Other Repositories/Bibliography
by
Eijiro Sumii
,
Benjamin C. Pierce
| Venue: | SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES |
| Citations: | 37 - 3 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 Proceedings 32nd Annual ACM Symposium on Principles of Programming Languages |
