Hiroshi Nakano The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property. [Citation Graph (0, 0)][DBLP] Logic, Language and Computation, 1994, pp:61-72 [Conf]
Shin-ya Nishizaki ML with First-Class Environments and its Type Inference Algorithm. [Citation Graph (0, 0)][DBLP] Logic, Language and Computation, 1994, pp:95-116 [Conf]
Neil D. Jones The Essence of Program Transformation by Partial Evaluation and Driving. [Citation Graph (0, 0)][DBLP] Logic, Language and Computation, 1994, pp:206-224 [Conf]
Kojiro Kobayashi On Coding Theorems with Modified Length Functions. [Citation Graph (0, 0)][DBLP] Logic, Language and Computation, 1994, pp:255-259 [Conf]