Sciweavers

136
Voted
POPL
2005
ACM
15 years 9 months ago
A bisimulation for type abstraction and recursion
traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania
Eijiro Sumii, Benjamin C. Pierce