Abstraction Barrier-Observing Relational Parametricity
- Authors
- J. E. Hannay
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2003
- Journal
- Typed Lambda Calculi and Applications. Proceedings of TLCA, 6th International Conference, Valencia, Spain, LNCS volume 2701
- Publisher
- Springer-Verlag
- Citation key
- 9398