Type inference of Turbo Pascal (1995)

by O I Hougaard, M Schwartzbach, H Askari
Venue:Software—Concepts and Tools