Just-in-time static type checking for dynamic languages

  title={Just-in-time static type checking for dynamic languages},
  author={Brianna M. Ren and Jeffrey S. Foster},
Dynamic languages such as Ruby, Python, and JavaScript have many compelling benefits, but the lack of static types means subtle errors can remain latent in code for a long time. While many researchers have developed various systems to bring some of the benefits of static types to dynamic languages, prior approaches have trouble dealing with metaprogramming… CONTINUE READING

8 Figures & Tables



Citations per Year

Citation Velocity: 6

Averaging 6 citations per year over the last 2 years.

Learn more about how we calculate this metric in our FAQ.