Derivation of Static Analysers of Functional Programs From Path Properties of a Natural Semantics (1995)

by Valérie Gouranton , Daniel Le Métayer
Citations:7 - 2 self