Challenges in Type Systems Research

ACM Computing Surveys

Volumn 28, Issue 4, 1996, Pages 1-3

  Odersky, Martin ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 1542385209     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/242224.242442     Document Type: Article

References (4)

1. Andrew W. A. and D. B. MacQueen. Standard ML of New Jersey. In J. Maluszyński and M. Wirsing, editors, Programming Language Implementation and Logic Programming, pages 1-13. Springer-Verlag, August 1991. Lecture Notes in Computer Science 528.
2. Kim Bruce, Luca Cardelli, Guiseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce. On binary methods. Theory and Practice of Object Systems, 1(3), 1996.
3. Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1-102, 1987.
4. Jean-Pierre Talpin and Pierre Jouvelot. The type and effect discipline. In Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, pages 162-173, Los Alamitos, California, June 1992. IEEE Computer Society Press.