Dependent Sums Express Separation of Binding Times

John Launchbury. Dependent Sums Express Separation of Binding Times. In Kei Davis, John Hughes, editors, Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK. Workshops in Computing, pages 238-253, Springer, 1989.

Abstract

Abstract is missing.