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

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