Recursive Types in a Calculus of Objects
暂无分享,去创建一个
[1] Mario Tokoro,et al. An Object Calculus for Asynchronous Communication , 1991, ECOOP.
[2] T. Vasco,et al. Predicative Polymorphism in-Calculus , 1994 .
[3] Carl Hewitt,et al. A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.
[4] Mario Tokoro,et al. A Typing System for a Calculus of Objects , 1993, ISOTAS.
[5] Henk Barendregt,et al. Types in Lambda Calculi and Programming Languages , 1990, ESOP.
[6] Atsushi Ohori,et al. A compilation method for ML-style polymorphic record calculi , 1992, POPL '92.
[7] F. Cardone,et al. Two extensions of Curry's type inference system , 1990 .
[8] Robin Milner,et al. The Polyadic π-Calculus: a Tutorial , 1993 .
[9] Bruno Courcelle,et al. The Solutions of Two Star-Height Problems for Regular Trees , 1984, Theor. Comput. Sci..
[10] Nobuko Yoshida,et al. On Reduction-Based Process Semantics , 1995, Theor. Comput. Sci..
[11] Kohei Honda,et al. Principal Typing Schemes in a Polyadic pi-Calculus , 1993, CONCUR.