Hanne Riis Nielson, Flemming Nielson. Automatic Binding Time Analysis for a Typed lambda-Calculus. Science of Computer Programming, 10(1):139-176, 1988.
@article{NielsonN88:2,
title = {Automatic Binding Time Analysis for a Typed lambda-Calculus},
author = {Hanne Riis Nielson and Flemming Nielson},
year = {1988},
tags = {semantics, completeness, analysis, static analysis, binding-time, typed lambda-calculus, compiler, partial evaluation},
researchr = {https://researchr.org/publication/NielsonN88%3A2},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {10},
number = {1},
pages = {139-176},
}