Specification Refinement in System F, the Higher-Order Case
- Authors
- J. E. Hannay
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 1999
- Journal
- Recent Trends in Data Type Specification, Selected papers of the 14th International Workshop on Algebraic Development Techniques (WADT'99), Chateau de Bonas, France, LNCS volume 1827
- Publisher
- Springer-Verlag
- Citation key
- 9449