Normal form bisimulation for parametric polymorphism (2008)

Cached

Download Links

by Soren B. Lassen , Google Inc , Paul Blain Levy
Venue:In LICS
Citations:10 - 2 self