Controlled temporal non-determinism for reasoning with a machine of finite speed

Authors:
Robert Ennals
Affiliations:
Cambridge University
Venue:
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Year:
1998

Citing 2
Cited 1

Imperative functional programming

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Functional reactive animation

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming

Verbose typing

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming

Quantified Score

Hi-index	0.00

Visualization

Abstract