Design and implementation of practical constraint logic programming systems

Authors:
Spiro Michaylov
Affiliations:
-
Venue:
Design and implementation of practical constraint logic programming systems
Year:
1992

Citing 0
Cited 2

Eliminating array bound checking through dependent types

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Dependent ML An approach to practical programming with dependent types

Journal of Functional Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract