In this paper we illustrate the facilities for type debugging of Haskell programs in the
Chameleon programming environment. Chameleon provides an extension to Haskell …

To improve the quality of type error messages in functional programming languages, we
propose four techniques which influence the behaviour of constraint-based type inference …

We present a uniqueness type system that is simpler than both Clean's uniqueness system
and a system we proposed previously. The new type system is straightforward to implement …

Previous methods have generally identified the location of a type error as a particular
program point or the program subtree rooted at that point. We present a new approach that …

LOCALIZED TYPE INFERENCE OF ATOMIC TYPES IN PYTHON A Thesis Presented to the
Faculty of the California Polytechnic State Univers Page 1 LOCALIZED TYPE INFERENCE OF …

Previous methods have generally identified the location of a type error as a particular
program point or the program subtree rooted at that point. We present a new approach that …

Recent works have shown the power of linear indexed type systems for enforcing complex
program properties. These systems combine linear types with a language of type-level …

Abstract Types and formal type systems have proven invaluable in the design and use of
modern declarative languages. The Hindley/Milner type system forms the basis of many type …

We present a logically principled foundation for systematizing, in a way that works with any
computational effect and evaluation order, SMT constraint generation seen in refinement …

1. Introduction complexity and simplicity by describing features individually, as separate
aspects of a more complex whole. In the following section we first give an overview of our …