Dynamic typing

This publication has 17 references indexed in Scilit:

• Inheritance and explicit coercion
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Data structures and algorithms for disjoint set union problems
  ACM Computing Surveys, 1991
• Inheritance as implicit coercion
  Information and Computation, 1991
• Dynamic typing in a statically typed language
  ACM Transactions on Programming Languages and Systems, 1991
• On the relationship of congruence closure
  Published by Association for Computing Machinery (ACM) ,1990
• Partial type inference for untyped functional programs
  Published by Association for Computing Machinery (ACM) ,1990
• Fast left-linear semi-unification
  Published by Springer Nature ,1990
• Dynamic typing in a statically-typed language
  Published by Association for Computing Machinery (ACM) ,1989
• Maintenance of transitive closures and transitive reductions of graphs
  Lecture Notes in Computer Science, 1988
• Type inference with subtypes
  Published by Springer Nature ,1988