Authors: NADATHUR G WILSON DS

Citation: G. Nadathur et Ds. Wilson, A NOTATION FOR LAMBDA-TERMS - A GENERALIZATION OF ENVIRONMENTS, Theoretical computer science, 198(1-2), 1998, pp. 49-98

Authors: NADATHUR G JAYARAMAN B KWON K

Citation: G. Nadathur et al., SCOPING CONSTRUCTS IN LOGIC PROGRAMMING - IMPLEMENTATION PROBLEMS ANDTHEIR SOLUTION, The journal of logic programming, 25(2), 1995, pp. 119-161

Authors: KWON K NADATHUR G WILSON DS

Citation: K. Kwon et al., IMPLEMENTING POLYMORPHIC TYPING IN A LOGIC PROGRAMMING LANGUAGE, Computer languages, 20(1), 1994, pp. 25-42