Type inference for action semantics

  • Susan Even
  • David A. Schmidt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 432)


Natural Transformation Typing Scheme Type Inference Record Type Action Semantic 
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.


  1. [1]
    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.Google Scholar
  2. [2]
    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.Google Scholar
  3. [3]
    Cardelli, L., and Wegner, P. On understanding types, data abstraction, and polymorphism. Computing Surveys 17-4 (1985) 471–522.CrossRefGoogle Scholar
  4. [4]
    Even, S. An implementation of action semantics. M.S. report, Computer Science Dept., Iowa State Univ., Ames, Iowa, 1987.Google Scholar
  5. [5]
    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.Google Scholar
  6. [6]
    Fuh, Y.-C., and Mishra, P. Type inference with subtypes. In LNCS 300: ESOP '88, H. Ganzinger, ed., Springer, Berlin, 1988, pp, 94–114.Google Scholar
  7. [7]
    —. Polymorphic type inference: closing the theory-practice gap. In LNCS 351: TAPSOFT 89, J. Diaz and F. Orejas, eds. Springer, Berlin, 1989.Google Scholar
  8. [8]
    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.Google Scholar
  9. [9]
    Milner, R. A theory of type polymorphism in programming. J. of Computer and System Sci. 17 (1983) 267–310.Google Scholar
  10. [10]
    Mitchell, J. Coercion and type inference. Proc. 11th ACM Symp. on Prin. of Prog. Lang., Salt Lake City, Utah, 1984, pp. 175–186.Google Scholar
  11. [11]
    Mosses, P. Abstract semantic algebras! In Formal Description of Programming Concepts II, D. Bjoemer, ed., North-Holland, Amsterdam, 1983, pp. 45–72.Google Scholar
  12. [12]
    —. A basic abstract semantic algebra. In LNCS 173: Semantics of data types, Springer, Berlin, 1984, pp. 87–108.Google Scholar
  13. [13]
    __. The modularity of action semantics. To appear in SDF Benchmark Series in Computational Linguistics-Workshop II, MIT Press, Cambridge.Google Scholar
  14. [14]
    —. Unified algebras and action semantics. In LNCS 349: STACS89, B. Monien, R. Cori, eds., Springer, Berlin, 1989.Google Scholar
  15. [15]
    — and Watt, D. The use of action semantics. In Formal Description of Programming Concepts III, North-Holland, Amsterdam, 1987.Google Scholar
  16. [16]
    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.Google Scholar
  17. [17]
    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.Google Scholar
  18. [18]
    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.Google Scholar
  19. [19]
    —. The essence of Algol. In Algorithmic Languages, J. deBakker and J.C. vanVliet, eds., North-Holland, Amsterdam, 1981, pp. 345–372.Google Scholar
  20. [20]
    —. Semantics as a design tool. Course lecture notes, Computer Science Dept., Carnegie-Mellon Univ., Pittsburgh, PA, 1988.Google Scholar
  21. [21]
    Robinson, J.A. A machine-oriented logic based on the resolution principle. J. ACM 12-1 (1965) 23–41.CrossRefGoogle Scholar
  22. [22]
    Stansifer, R. Type inference with subtypes. Proc. 15th ACM Symp. on Prin. of Prog. Lang., San Diego, CA, 1988, pp. 88–97.Google Scholar
  23. [23]
    Tofte, M. Operational semantics and polymorphic type inference. Ph.D. thesis, Computer Science Dept., Edinburgh Univ., Edinburgh, Scotland, 1988.Google Scholar
  24. [24]
    Wand, M. Type inference for record concatenation and multiple inheritance. Proc. 4th Symp. Logic in Computer Science, Asilomar, CA, 1989, IEEE Press.Google Scholar
  25. [25]
    Watt, D. Executable semantic descriptions. Software: Practice and Experience, 16 (1986) 13–43.Google Scholar
  26. [26]
    —. 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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Susan Even
    • 1
  • David A. Schmidt
    • 1
  1. 1.Computing and Information Sciences Dept.Kansas State UniversityManhattanUSA

Personalised recommendations