Over 10 Million Study Resources Now at Your Fingertips

Download as :
Rating : ⭐⭐⭐⭐⭐
Price : $10.99
Pages: 2

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.

How It Works
Login account
Login Your Account
Add to cart
Add to Cart
Make payment
Document download
Download File
PageId: ELI1DB47A2
Uploaded by :
Page 1 Preview
simple imperative polymorphism and symbolic comput
Sell Your Old Documents & Earn Wallet Balance