Gradual typing: a new perspective
G Castagna, V Lanvin, T Petrucciani… - Proceedings of the ACM on …, 2019 - dl.acm.org
We define a new, more semantic interpretation of gradual types and use it to``gradualize''two
forms of polymorphism: subtyping polymorphism and implicit parametric polymorphism. In …
forms of polymorphism: subtyping polymorphism and implicit parametric polymorphism. In …
[HTML][HTML] The StaDyn programming language
Hybrid static and dynamic typing languages are aimed at combining the benefits of both
kinds of languages: the early type error detection and compile-time optimizations of static …
kinds of languages: the early type error detection and compile-time optimizations of static …
Efficient support of dynamic inheritance for class-and prototype-based languages
JM Redondo, F Ortin - Journal of Systems and Software, 2013 - Elsevier
Dynamically typed languages are becoming increasingly popular for different software
development scenarios where runtime adaptability is important. Therefore, existing class …
development scenarios where runtime adaptability is important. Therefore, existing class …
A hybrid class-and prototype-based object model to support language-neutral structural intercession
Context Dynamic languages have turned out to be suitable for developing specific
applications where runtime adaptability is an important issue. Although. Net and Java …
applications where runtime adaptability is an important issue. Although. Net and Java …
Type inference to optimize a hybrid statically and dynamically typed language
F Ortin - The Computer Journal, 2011 - ieeexplore.ieee.org
Dynamically typed languages are becoming increasingly popular for different software
development scenarios such as Web engineering, rapid prototyping or the construction of …
development scenarios such as Web engineering, rapid prototyping or the construction of …
Design and implementation of an efficient hybrid dynamic and static typing language
Dynamic languages are suitable for developing specific applications where runtime
adaptability is an important issue. On the contrary, statically typed languages commonly …
adaptability is an important issue. On the contrary, statically typed languages commonly …
[PDF][PDF] Towards a static type checker for python
F Ortin, JBG Perez-Schofield… - European Conference on …, 2015 - researchgate.net
We present the preliminary stage of stypy, a static type checker for Python. stypy translates
each Python program into Python code that type-checks the original program. The …
each Python program into Python code that type-checks the original program. The …
Optimizing runtime performance of hybrid dynamically and statically typed languages for the. Net platform
Dynamically typed languages have become popular in scenarios where high flexibility and
adaptability are important issues. On the other hand, statically typed languages provide …
adaptability are important issues. On the other hand, statically typed languages provide …
Rule-based program specialization to optimize gradually typed code
Both static and dynamic typing provide different benefits to the programmer. Statically typed
languages support earlier type error detection and more opportunities for compiler …
languages support earlier type error detection and more opportunities for compiler …
Union and intersection contracts are hard, actually
Union and intersection types are a staple of gradually typed languages such as TypeScript.
While it's long been recognized that union and intersection types are difficult to verify …
While it's long been recognized that union and intersection types are difficult to verify …