| Authors | J. E. Hannay |
| Title | Specification Refinement in System F, the Higher-Order Case |
| Status | Published |
| Publication Type | Proceedings, refereed |
| Year of Publication | 1999 |
| Conference Name | 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 |
| Pagination | 162-181 |
| Publisher | Springer-Verlag |
| Citation Key | SE.5.Hannay.1999.a |
By thinking constantly about it…