Simple imperative polymorphism and symbolic computation

5(1–3):1–236, 1975.

Vouillon, Jérôme. Conception et réalisation d'une extension du langage ML avec des objets. PhD thesis,

347–359. ACM Press, September 1989. Imperial College, London.

Wadler, Philip. Linear types can change the world. In TC 2 Working Conference on Programming Concepts and

Wadler, Philip. The Girard-Reynolds isomorphism. In Naoki Kobayashi and Benjamin Pierce, editors, Theoretical

Aspects of Computer Software (TACS), Sendai, Japan, Lecture Notes in Computer Science. Springer-Verlag,

Research Group,Oxford University, 1971.

Wand, Mitchell. Finding the source of type errors. 13th ACM SIGACT-SIGPLAN Symposium on Principles of

Symposium on Logic in Computer Science, 1988.

Wand, Mitchell. Type inference for objects with instance variables and inheritance. Technical Report NU-CCS-89-2, College of Computer Science, Northeastern University,February 1989a. Also in Carl A. Gunter and John C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (MIT Press, 1994).

Wickline, Philip, Peter Lee, Frank Pfenning, and Rowan Davies. Modal types as staging specifications for run-time code generation. ACM Computing Surveys, 30(3es), September 1998. Article 8.

Wille, Christoph. Presenting C#. SAMS Publishing, 2000.

Wright, Andrew K. and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38–94, 15 November 1994.

Xi, Hongwei and Robert Harper. A dependently typed assembly language. In International Conference on Functional Programming (ICFP), Firenze, Italy, 2001.