Another approach is to use records and recursive types to describe recursion through a “self” parameter. Many systems rely on both semantic approaches as well ...
To accomplish this, ISOLATE extends a standard isorecursive type system with a mechanism for checking the “mutual consistency” of a collection of functions, ...
A statically typed calculus of functional objects called ISOLATE is presented that can reason about a pattern of mixin composition without relying on an ...
To accomplish this, ISOLATE extends a standard isorecursive type system with a mechanism for checking the “mutual consistency” of a collection of functions, ...
Key Idea of IsoLate open records of F-bounded function types… closed via type instantiations and fold. 1. Custom pre-types for premethods. 2. Custom type rule ...
In this paper, we present a statically typed calculus of functional objects called IsoLate that can reason about a pattern of mixin composition without ...
This paper aims to revisit the problem of subtyping iso-recursive types. We start by introducing a novel declarative specification that we believe captures the ...
Module systems for languages with complex type systems, such as Standard ML, often lack the ability to express mutually recursive type and function ...
Aug 20, 2019 · Bibliographic details on IsoLATE: A Type System for Self-recursion.
Aug 8, 2019 · I am writing a language where functions are not typed. Which means I need to infer the return type of a function call in order to do type checking.
Missing: Self- | Show results with:Self-