We provide an overall description of the Ciao multiparadigm programming system
emphasizing some of the novel aspects and motivations behind its design and …

Dynamically typed languages such as Python and Ruby have experienced a rapid grown in
popularity in recent times. However, there is much confusion as to what makes these …

Static and dynamic type systems have well-known strengths and weaknesses. In previous
work we developed a gradual type system for a functional calculus named λ^?_→. Gradual …

JavaScript is the main scripting language for Web browsers, and it is essential to modern
Web applications. Programmers have started using it for writing complex applications, but …

Programs often have a lot of duplicated code, which makes both understanding and
maintenance more difficult. This problem can be alleviated by detecting duplicated code …

In this paper we propose a scheme that combines type inference and run-time checking to
make existing C programs type safe. We describe the CCured type system, which extends …

This article describes CCured, a program transformation system that adds type safety
guarantees to existing C programs. CCured attempts to verify statically that memory errors …

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 …

When separately written programs are composed so that they may cooperate, they may
instead destructively interfere in unanticipated ways. These hazards limit the scale and …

When scripts in untyped languages grow into large programs, maintaining them becomes
difficult. A lack of types in typical scripting languages means that programmers must (re) …