Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Bruce, K., Cardelli, L., Castagna, G., Leavens, G.T., Pierce, B.: On binary methods. Theory and Practice of Object Systems 1(3), 221–242 (1995)
2. Fisher, K., Reppy, J.: The design of a class mechanism for MOBY. In: Proceedings of PLDI 1999, pp.37–49 (1999)
3. Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the join-calculus. In: Proceedings of POPL 1996, pp. 372–385 (1996)
4. Fournet, C., Maranget, L., Laneve, C., Rémy, D.: Implicit typing à la ML for the join-calculus. In: Proceedings of CONCUR 1997, pp. 196–212 (1997)
5. Fournet, C., Maranget, L., Laneve, C., Rémy, D.: Inheritance in the join calculus. Journal of Logic and Algebraic Programming 57(1-2), 23–69 (2003)