A semantics for higher-order functors
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 409-423
- https://doi.org/10.1007/3-540-57880-3_27
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Extended ML: Past, present and futurePublished by Springer Nature ,1991