Author:
Cardone Felice,Coppo Mario
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)
2. MacQueen, D., Plotkin, G., Sethi, R.: An ideal model for recursive polymorphic types. Information and Control 71, 95–130 (1986)
3. Cardone, F., Coppo, M.: Type inference with recursive types. Syntax and Semantics. Information and Computation 92, 48–80 (1991)
4. Fiore, M.: A coinduction principle for recursive data types based on bisimulation. In: Proceedings Eighth Symposium on Logic in Computer Science, IEEE, Los Alamitos (1993)
5. Rutten, J.: Universal coalgebra: a theory of systems. Theoretical Computer Science 249, 3–80 (2000)