Dynamic Typing for Distributed Programming in Polymorphic Languages

@article{Duggan1999DynamicTF,
  title={Dynamic Typing for Distributed Programming in Polymorphic Languages},
  author={Dominic Duggan},
  journal={ACM Trans. Program. Lang. Syst.},
  year={1999},
  volume={21},
  pages={11-45}
}
While static typing is widely accepted as being necessary for secure program execution, dynamic typing is also viewed as being essential in some applications, particularly for distributed programming environments. Dynamics have been proposed as a language construct for dynamic typing, based on experience with languages such as CLU, Cedar/Mesa, and Modula-3. However proposals for incorporating dynamic typing into languages with parametric polymorphism have serious shortcomings. A new approach is… CONTINUE READING
Highly Cited
This paper has 40 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-6 of 6 references

Efficient atomic subtype inference

D. Duggan
Tec • 1995
View 10 Excerpts
Highly Influenced

Polymorphism and Type Inference in Database Programming

ACM Trans. Database Syst. • 1996
View 10 Excerpts
Highly Influenced

Refinement Types for ML

View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…