Efficiently combining logical constraints with functions

Authors:
P. M. A. Bothner
Affiliations:
-
Venue:
Efficiently combining logical constraints with functions
Year:
1989

Citing 0
Cited 2

Nondeterminism and unification in LogScheme: integrating logic and functional programming

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Kawa: compiling dynamic languages to the Java VM

ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract