Author:
Gabbrielli Maurizio,Martini Simone
Publisher
Springer International Publishing
Reference17 articles.
1. B. Pierce, Types and Programming Languages (MIT Press, Cambridge, MA, 2002)
2. D.A. Schmidt, The Structure of Typed Programming Languages (MIT Press, Cambridge, Mass., 1994)
3. R. Harper, Practical Foundations for Programming Languages, 2nd edn. (Cambridge University Press, Cambridge, 2016)
4. L. Cardelli, Type systems, in The Computer Science and Engineering Handbook. ed. by A.B. Tucker (CRC Press, Boca Raton, FL, 1997)
5. J.C. Mitchell, Type systems for programming languages, in Handbook of theoretical computer science (vol. B): formal models and semantics, ed. by J. van Leeuwen. (MIT Press and Elsevier Science Publishers, Cambridge-Amsterdam, 1990), pp. 365–458