Modular and polymorphic set-based analysis: Theory and practice (1996)

by Cormac Flanagan , Matthias Felleisen
Citations:11 - 2 self