×

zbMATH — the first resource for mathematics

A theory of type polymorphism in programming. (English) Zbl 0388.68003

MSC:
68N01 General topics in the theory of software
Software:
ALGOL 68; LCF; ML
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Burge, W.H., Recursive programming techniques, (1975), Addison-Wesley Reading, Mass · Zbl 0321.68002
[2] Gordon, M.; Milner, R.; Wadsworth, C., Edinburgh LCF, () · Zbl 0421.68039
[3] Gordon, M.; Milner, R.; Morris, L.; Newey, M.; Wadsworth, C., A metalanguage for interactive proof in LCF, ()
[4] Gries, D.; Gehani, N., Some ideas on data type in high-level languages, Comm. ACM., 20, 414-420, (1977) · Zbl 0358.68045
[5] Hindley, R., The principal type-scheme of an object in combinatory logic, Trans. amer. math. soc., 146, 29-60, (1969) · Zbl 0196.01501
[6] Lampson, B.W.; Horning, J.J.; London, R.L.; Mitchell, J.G.; Popek, G.I., Report on the programming language euclid, SIGPLAN notices (ACM), 12, 2, (1977) · Zbl 0399.68011
[7] Landin, P.J., The next 700 programming languages, Comm. ACM, 9, 157-164, (1966) · Zbl 0149.12505
[8] Liskov, B.H.; Zilles, S., Programming with abstract data types, (), 50-59
[9] Milner, R., Models of LCF, (), 49-63 · Zbl 0364.02018
[10] Morris, J.H., Lambda-calculus models of programming languages, (), MACTR-57
[11] Plotkin, G., A power-domain construction, SIAM J. comput., 5, 452-487, (1976) · Zbl 0355.68015
[12] Reynolds, J.C., Towards a theory of type structure, (1974), Systems and Inform. Sci., Syracuse University · Zbl 0309.68016
[13] Reynolds, J.C., Syntactic control of interference, (), 39-46
[14] Robinson, J.A., A machine-oriented logic based on the resolution principle, J. assoc. comput. Mach., 12, 23-41, (1965) · Zbl 0139.12303
[15] Scott, D., Lattice theoretic models for various type-free calculi, ()
[16] Scott, D.; Strachey, C., Towards a mathematical semantics for computer languages, () · Zbl 0268.68004
[17] Scott, D., Data types as lattices, SIAM J. comput., 5, 522-587, (1976) · Zbl 0337.02018
[18] Shamir, A.; Wadge, W., Data types as objects, () · Zbl 0353.68050
[19] Strachey, C., Fundamental concepts in programming languages, () · Zbl 0949.68510
[20] Tennent, R.D., On a new approach to representation-independent data classes, Acta inform., 8, 315-324, (1977) · Zbl 0348.68017
[21] Wegbreit, B., The treatment of types in EL1, Comm. ACM, 17, 251-264, (1974) · Zbl 0276.68016
[22] Van Wijngaarden, A., Revised report on the algorithmic language ALGOL 68, Acta informatica, 5, 1-236, (1975) · Zbl 0317.68007
[23] Wulf, R.A.; London, R.L.; Shaw, M., Abstraction and verification in ALPHARD: introduction to language and methodology, ()
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.