Partial evaluation with inference rules

Authors:
L. Hascoët
Affiliations:
-
Venue:
New Generation Computing - Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed
Year:
1988

Citing 0
Cited 2

Centaur: the system

SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
From operational semantics to abstract machines: preliminary results

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming

Quantified Score

Hi-index	0.00

Visualization

Abstract