A synthesis of type-checking and parsing

Jenkins, 1986 Jenkins, 1986, Programming styles in Nial, IEEE Softw., 3, 46, 10.1109/MS.1986.232432 Appel, 1991, Standard ML of New Jersey, 1 Tremblay, 1976, An Introduction to Data Structures with Applications, 64 Hindley, 1987 Milner, 1978, A Theory of Type Polymorphism in Programming, J. Comp. Sys. Sci., 17, 348, 10.1016/0022-0000(78)90014-4 Peyton Jones, 1987, The Implementation of Functional Programming Languages Kanellakis, 1989, Polymorphic unification and ML typing, 105 Mairson, 1990, Deciding ML Typability is Complete for Deterministic Exponential Time, 382 McCrosky, 1991, Intermediated Container Removal, Comp. Lang., 16, 179, 10.1016/0096-0551(91)90006-U Mukhopadhyaya, 1991