Authors: CARDELLI L

Citation: L. Cardelli, GLOBAL COMPUTATION, ACM SIGPLAN NOTICES, 32(1), 1997, pp. 66-68

Authors: ABADI M CARDELLI L

Citation: M. Abadi et L. Cardelli, ON SUBTYPING AND MATCHING, ACM transactions on programming languages and systems, 18(4), 1996, pp. 401-423

Authors: ABADI M CARDELLI L

Citation: M. Abadi et L. Cardelli, A THEORY OF PRIMITIVE OBJECTS - 2ND-ORDER SYSTEMS, Science of computer programming, 25(2-3), 1995, pp. 81-116

Authors: CARDELLI L MARTINI S MITCHELL JC SCEDROV A

Citation: L. Cardelli et al., AN EXTENSION OF SYSTEM-F WITH SUBTYPING, Information and computation, 109(1-2), 1994, pp. 4-56

Authors: ABADI M CARDELLI L CURIEN PL

Citation: M. Abadi et al., FORMAL PARAMETRIC POLYMORPHISM, Theoretical computer science, 121(1-2), 1993, pp. 9-58

Authors: AMADIO RM CARDELLI L

Citation: Rm. Amadio et L. Cardelli, SUBTYPING RECURSIVE TYPES, ACM transactions on programming languages and systems, 15(4), 1993, pp. 575-631