Partially supported by ONR Grant N-00014-88-K0455.
Partially supported by NSF Grant CCR-8822378.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Cardelli, L. A semantics of multiple inheritance. In LNCS 173: Semantics of Data Types, G. Kahn, et. al., eds., Springer, Berlin, 1984, pp. 51–68.
Cardelli, L., and Mitchell, J. Records and subtypes. Proc. of 5th Conf. on Mathematical Foundations of Programming Semantics, New Orleans, LA, 1989, Springer LNCS, to appear.
Cardelli, L., and Wegner, P. On understanding types, data abstraction, and polymorphism. Computing Surveys 17-4 (1985) 471–522.
Even, S. An implementation of action semantics. M.S. report, Computer Science Dept., Iowa State Univ., Ames, Iowa, 1987.
Even, S., and Schmidt, D.A. Category-sorted algebra-based action semantics. Proc. Conf. on Algebraic Methodology and Software Technology, Iowa City, IA, May 1989. To appear in Theoretical Computer Science.
Fuh, Y.-C., and Mishra, P. Type inference with subtypes. In LNCS 300: ESOP '88, H. Ganzinger, ed., Springer, Berlin, 1988, pp, 94–114.
—. Polymorphic type inference: closing the theory-practice gap. In LNCS 351: TAPSOFT 89, J. Diaz and F. Orejas, eds. Springer, Berlin, 1989.
Jategaonkar, L., and Mitchell, J. ML with extended pattern matching and subtypes. Proc. 1988 ACM Conf. on LISP and Functional Programming, Snowbird, Utah, July 1988, pp. 198–211.
Milner, R. A theory of type polymorphism in programming. J. of Computer and System Sci. 17 (1983) 267–310.
Mitchell, J. Coercion and type inference. Proc. 11th ACM Symp. on Prin. of Prog. Lang., Salt Lake City, Utah, 1984, pp. 175–186.
Mosses, P. Abstract semantic algebras! In Formal Description of Programming Concepts II, D. Bjoemer, ed., North-Holland, Amsterdam, 1983, pp. 45–72.
—. A basic abstract semantic algebra. In LNCS 173: Semantics of data types, Springer, Berlin, 1984, pp. 87–108.
__. The modularity of action semantics. To appear in SDF Benchmark Series in Computational Linguistics-Workshop II, MIT Press, Cambridge.
—. Unified algebras and action semantics. In LNCS 349: STACS89, B. Monien, R. Cori, eds., Springer, Berlin, 1989.
— and Watt, D. The use of action semantics. In Formal Description of Programming Concepts III, North-Holland, Amsterdam, 1987.
Ohori, A., and Buneman, P. Type inference in a database programming language. Proc. 1988 ACM Conf. on LISP and Functional Programming, Snowbird, Utah, 1988, pp.174–183.
Remy, Didier. Typechecking records and variants in a natural extension of ML. In Proc. 16th ACM Symp. on Principles of Prog. Languages, Austin, Texas, 1989, pp. 77–88.
Reynolds, J. Using category theory to design implicit conversions and generic operators. In LNCS 94: Semantics-Directed Compiler Generation, N. Jones, ed. Springer, 1980, pp. 211–258.
—. The essence of Algol. In Algorithmic Languages, J. deBakker and J.C. vanVliet, eds., North-Holland, Amsterdam, 1981, pp. 345–372.
—. Semantics as a design tool. Course lecture notes, Computer Science Dept., Carnegie-Mellon Univ., Pittsburgh, PA, 1988.
Robinson, J.A. A machine-oriented logic based on the resolution principle. J. ACM 12-1 (1965) 23–41.
Stansifer, R. Type inference with subtypes. Proc. 15th ACM Symp. on Prin. of Prog. Lang., San Diego, CA, 1988, pp. 88–97.
Tofte, M. Operational semantics and polymorphic type inference. Ph.D. thesis, Computer Science Dept., Edinburgh Univ., Edinburgh, Scotland, 1988.
Wand, M. Type inference for record concatenation and multiple inheritance. Proc. 4th Symp. Logic in Computer Science, Asilomar, CA, 1989, IEEE Press.
Watt, D. Executable semantic descriptions. Software: Practice and Experience, 16 (1986) 13–43.
—. An action semantics of standard ML. In LNCS 298: Mathematical Foundations of Programming Semantics, M. Main, et. al., eds., Springer, Berlin, 1987, pp. 572–598.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Even, S., Schmidt, D.A. (1990). Type inference for action semantics. In: Jones, N. (eds) ESOP '90. ESOP 1990. Lecture Notes in Computer Science, vol 432. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52592-0_59
Download citation
DOI: https://doi.org/10.1007/3-540-52592-0_59
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52592-9
Online ISBN: 978-3-540-47045-8
eBook Packages: Springer Book Archive