Author:
Gabbrielli Maurizio,Martini Simone
Reference16 articles.
1. L. Cardelli. Basic polymorphic typechecking. Science of Computer Programming, 8(2):147–172, 1987. citeseer.ist.psu.edu/cardelli88basic.html .
2. L. Cardelli. Type systems. In A. B. Tucker, editor, The Computer Science and Engineering Handbook. CRC Press, Boca Raton, 1997. citeseer.ist.psu.edu/cardelli97type.html .
3. L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17(4):471–522, 1985. citeseer.ist.psu.edu/cardelli85understanding.html .
4. J. C. Cleaveland. An Introduction to Data Types. Addison-Wesley, Reading, 1986.
5. C. N. Fisher and R. J. LeBlanc. The implementation of run-time diagnostics in Pascal. IEEE Trans. Softw. Eng., 6(4):313–319, 1980.