zbMATH — the first resource for mathematics

An extended polymorphic type system for applicative languages. (English) Zbl 0447.68021
Mathematical foundations of computer science, Proc. 9th Symp., Rydzyna/Pol. 1980, Lect. Notes Comput. Sci. 88, 194-204 (1980).

68Q65 Abstract data types; algebraic specification
03B40 Combinatory logic and lambda calculus
68N01 General topics in the theory of software
68Q60 Specification and verification (program logics, model checking, etc.)