Typewriter: Neural type prediction with search-based validation
Maintaining large code bases written in dynamically typed languages, such as JavaScript or
Python, can be challenging due to the absence of type annotations: simple data …
Python, can be challenging due to the absence of type annotations: simple data …
Lambdanet: Probabilistic type inference using graph neural networks
[PDF][PDF] Refined criteria for gradual ty**
Siek and Taha [2006] coined the term gradual ty** to describe a theory for integrating
static and dynamic ty** within a single language that 1) puts the programmer in control of …
static and dynamic ty** within a single language that 1) puts the programmer in control of …
Migratory ty**: Ten years later
In this day and age, many developers work on large, untyped code repositories. Even if they
are the creators of the code, they notice that they have to figure out the equivalent of method …
are the creators of the code, they notice that they have to figure out the equivalent of method …
Is sound gradual ty** dead?
Programmers have come to embrace dynamically-typed languages for prototy** and
delivering large and complex systems. When it comes to maintaining and evolving these …
delivering large and complex systems. When it comes to maintaining and evolving these …
Safe & efficient gradual ty** for TypeScript
Current proposals for adding gradual ty** to JavaScript, such as Closure, TypeScript and
Dart, forgo soundness to deal with issues of scale, code reuse, and popular programming …
Dart, forgo soundness to deal with issues of scale, code reuse, and popular programming …
Transpilers: A systematic map** review of their usage in research and industry
A Bastidas Fuertes, M Pérez, J Meza Hormaza - Applied Sciences, 2023 - mdpi.com
Transpilers refer to a special type of compilation that takes source code and translates it into
target source code. This type of technique has been used for different types of …
target source code. This type of technique has been used for different types of …
Learning type annotation: Is big data enough?
TypeScript is a widely used optionally-typed language where developers can adopt “pay as
you go” ty**: they can add types as desired, and benefit from static ty**. The “type …
you go” ty**: they can add types as desired, and benefit from static ty**. The “type …
An empirical study for common language features used in python projects
As a dynamic programming language, Python is widely used in many fields. For developers,
various language features affect programming experience. For researchers, they affect the …
various language features affect programming experience. For researchers, they affect the …
HLIO: Mixing static and dynamic ty** for information-flow control in Haskell
Information-Flow Control (IFC) is a well-established approach for allowing untrusted code to
manipulate sensitive data without disclosing it. IFC is typically enforced via type systems and …
manipulate sensitive data without disclosing it. IFC is typically enforced via type systems and …