Dependent Sums Express Separation of Binding Times

Authors:
John Launchbury
Affiliations:
-
Venue:
Proceedings of the 1989 Glasgow Workshop on Functional Programming
Year:
1989

Citing 0
Cited 2

Generalized partial computation for a lazy functional language

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Binding-time analysis by constraint solving a modular and higher-order approach for mercury

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract