Authors: WICKLINE P LEE P PFENNING F

Citation: P. Wickline et al., RUN-TIME CODE GENERATION AND MODAL-ML, ACM SIGPLAN NOTICES, 33(5), 1998, pp. 224-235

Authors: XI HW PFENNING F

Citation: Hw. Xi et F. Pfenning, ELIMINATING ARRAY BOUND CHECKING THROUGH DEPENDENT TYPES, ACM SIGPLAN NOTICES, 33(5), 1998, pp. 249-257

Authors: NARENDRAN P PFENNING F STATMAN R

Citation: P. Narendran et al., ON THE UNIFICATION PROBLEM FOR CARTESIAN CLOSED CATEGORIES, The Journal of symbolic logic, 62(2), 1997, pp. 636-647