Abstraction Barriers and Refinement in the Polymorphic Lambda Calculus
- Authors
- J. E. Hannay
- Status
- Published
- Publication type
- Thesis
- Year of publication
- 2001
- Journal
- -
- Publisher
- University of Edinburgh, Scotland
- Notes
- Doctor of Philosophy thesis
- Citation key
- 12766