Dependent Sums Express Separation of Binding Times - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'John Launchbury' in Google

runs on WebDSL