article · 1993A synthesis of type-checking and parsing1 citationsDOI: https://doi.org/10.1016/0096-0551(93)90018-v