Pages: 2
Rating : ⭐⭐⭐⭐⭐
Price: $10.99
Page 1 Preview
simple imperative polymorphism and symbolic comput

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.

You are viewing 1/3rd of the document.Purchase the document to get full access instantly

Immediately available after payment
Both online and downloadable
No strings attached
How It Works
Login account
Login Your Account
Place in cart
Add to Cart
send in the money
Make payment
Document download
Download File

Uploaded by : Riaan Dora

PageId: ELI1DB47A2