Robert Cartwright
References
- 1 Martin Abadi, Luca Cardelli, Benjamin Pierce, and Gordon Plotkin. Dynamic typing in a statically typed language. In Proceedings of the Sixteenth POPL Symposium, 1989. Google Scholar
Digital Library
- 2 Alexander Aiken and Brian Murphy. Static type inference in a dynamically typed language. In Proceedings of the 18th Annual Symposium on Principles of Programming Languages, 1991. To appear. Google ScholarDigital Library
- 3 Andrew W. Appel and David MacQueen. Standard ML of New Jersey Reference Manual. (in preparation), 1990.Google Scholar
- 4 Robert Cartwright. A constructive alternative to axiomatic data type definitions. In Proceedings of 1980 LISP Conference, 1980. Google ScholarDigital Library
- 5 William Clinger and Jonathan Rees. Reviseda'99 Report on the Algorithmic Language Scheme, August 1990.Google Scholar
- 6 Alain Colmerauer. Prolog and infinite trees. In K. L. Clark and S. A. Tarnlund, editors, Logic Programming, pages 231-251. Academic Press, 1982.Google Scholar
- 7 Pavel Curtis. Constrained quantification in polymorphic type analysis. Technical Report CSL-90- 1, Xerox PARC, 1990.Google Scholar
- 8 Luis Damas and Robin Milner. Principal typeschemes for functional programs. In Conference Record of the Ninth Annual A CM Symposium on Principles of Programming Languages, 1982. Google ScholarDigital Library
- 9 Luis Manuel Martins Damas. Type Assignment in Programming Languages. PhD thesis, University of Edinburgh, 1985.Google Scholar
- 10 Bruce F. Duba, Robert Harper, and David Mac- Queen. Typing first-class continuations in ML. In Conference Record of the Eighteenth Annual A CM Symposium on Principles of Programming Languages, 1991. Google ScholarDigital Library
- 11 Mike Fagan. Soft Typing: An Approach to Type Checking for Dynamically Typed Languages. PhD thesis, Rice University, 1990. Google ScholarDigital Library
- 12 You-Chin Fuh and Prateek Mishra. Type inference with subtypes. In Conference Record of the European Symposium on Programming, 1988. Google ScholarDigital Library
- 13 You-Chin Fuh and Prateek Mishra. Polymorphic subtype inference: Closing the theory-practice gap. In TAPSOFT, 1989. Google ScholarDigital Library
- 14 Carsten K. Gomard. Partial type inference for untyped functional programs, in Proceedings of the 1990 A UM Conference on LiSP and Functional Programming, 1990. Google ScholarDigital Library
- 15 Gdrard Huet. Rgsolution d'gquations dans les langages d'ordre 1,2,..,w. PhD thesis, Universitd Paris, 7 1976.Google Scholar
- 16 D. MacQueen, G. Plotkin, and R. Sethi. An ideal model for recursive polymorphic types. In Conference Record of the Elevenih Annual A CM Symposium on Principles of Programming Languages, 1983. Google ScholarDigital Library
- 17 D. B. MacQueen and Ravi Sethi. A semantic model of types for applicative languages. In Conference Record of the Tenth Annual A CM Symposium on Principles of Programming Languages, 1982.Google ScholarCross Ref
- 18 Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 1978.Google ScholarCross Ref
- 19 Robin Milner, Mads Torte, and Robert Harper. The Definition of Siandard ML. MIT Press, 1990. Google ScholarDigital Library
- 20 John C. Mitchell. Coercion and type inference. In Conference Record of the Eleventh Annual A CM Symposium on Principles of Programming Languages, 1983. Google ScholarDigital Library
- 21 Dider Rdmy. Typechecking records and variants in a natural extension of ml. In Conference Record of the Sixteenth Annual A CM Symposium on Principles of Programming Languages, 1989. Google ScholarDigital Library
- 22 David A Schmidt. Denotational Semantics. Allyn and Bacon,Inc, 1986.Google Scholar
- 23 Sattish Thatte. Quasi-static typing. In Proceedings of the Seventeenth POPL Symposium, 1990. Google ScholarDigital Library
- 24 Mads Torte. Operational Semantics and Polymorphic Type Inference. PhD thesis, University of Edinburgh, 1987.Google Scholar
- 25 Mitchell Wand. Complete type inference for simple objects. In Proceedings of the Second Symposium on Logic in Computer Science, 1987.Google Scholar
Index Terms
Soft typing
Comments