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.
No references recorded for this publication.
No citations of this publication recorded.