Binding-Time Analysis by Constraint Solving - A modular and higher-order approach for Mercury (2000)

by Wim Vanhoof
Venue:In Procs. of LPAR2000, LNAI 1955, 399--416
Citations:12 - 4 self