[8] Benjamin C. Pierce. Advanced Topics in Types and Programming Languages. (2008)
Programming Languages, The Mit Press, Daniel P. Friedman, Matthias Felleisen, The Little, ...
[12] Paul R. Wilson. Uniprocessor garbage collection techniques. In Proc.
American Mathematical Society 12(4), 1017–1054. (2008)
Balcázar J, Diaz J, Gabarró J, Structural Complexity I, Springer Verlag, Clarke E, ...
in J. Siekmann and G. Wrightson, eds, ‘Automation of Reasoning. Classical Papers on Computational Logic’, Vol. 1, Springer Verlag, pp. 267–270. Reprinted from [Davis et al. 1962]. DAVIS M. AND...
Constraint Logic Programming (2007)
Alain Colmerauer, The Mit Press, Gert Smolka
Current constraint logic programming languages provide simplification for built-in constraints (e.g., arithmetic or boolean), but do not offer constraint propagation for user-defined predicates. We...