A Synthesis of Type-Checking and Parsing. - Carl McCrosky; Ken Sailor (Comput. Lang., 1993)

A Practical Approach to Type-Sensitive Parsing. - Ken Sailor; Carl McCrosky (Comput. Lang., 1994)