Dynamic typing in polymorphic languages-Reference-Cited by-同舟云学术

Dynamic typing in polymorphic languages

Published:1995-01 Issue:1 Volume:5 Page:111-130
ISSN:0956-7968
Container-title:Journal of Functional Programming
language:en
Short-container-title:J. Funct. Prog.

Author:

Abadi M.,Cardelli L.,Pierce B.,Rémy D.

Abstract

AbstractThere are situations in programming where some dynamic typing is needed, even in the presence of advanced static type systems. We investigate the interplay of dynamic types with other advanced type constructions, discussing their integration into languages with explicit polymorphism (in the style of system F), implicit polymorphism (in the style of ML), abstract data types, and subtyping.

Publisher

Cambridge University Press (CUP)

Subject

Software

Reference23 articles.

1. Wirth N. (1987) From Modula to Oberon and the programming language Oberon. Technical Report 82, Institut für Informatik, ETH, Zurich.

2. Weis P. , Aponte M.-V. , Laville A. , Mauny M. and Suárez A. (1990) The CAML reference manual. Research report 121, INRIA, Rocquencourt, September.

3. Extending Modula-2 to Build Large, Integrated Systems

Cited by 51 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric;Proceedings of the ACM on Programming Languages;2024-06-20

2. On Changing the Curriculum Programming Language from Java to Python (Discussion Paper);Proceedings of the 23rd Koli Calling International Conference on Computing Education Research;2023-11-13

3. The StaDyn programming language;SoftwareX;2022-12

4. Gradual System F;Journal of the ACM;2022-10-28

5. Two Parametricities Versus Three Universal Types;ACM Transactions on Programming Languages and Systems;2022-09-21