A Semantics for Higher-Order Functors

David B. MacQueen, Mads Tofte. A Semantics for Higher-Order Functors. In Donald Sannella, editor, Programming Languages and Systems - ESOP 94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings. Volume 788 of Lecture Notes in Computer Science, pages 409-423, Springer, 1994.

Authors

David B. MacQueen

This author has not been identified. Look up 'David B. MacQueen' in Google

Mads Tofte

This author has not been identified. Look up 'Mads Tofte' in Google