Jean-Baptiste Jeannin

Type Inference for Static Compilation of JavaScript (Extended Version)

2016 · arXiv (Cornell University)

We present a type system and inference algorithm for a rich subset of JavaScript equipped with objects, structural subtyping, prototype inheritance, and first-class methods. The type system supports abstract and recursive objects, and is expressive …

CoCaml: Functional Programming with Regular Coinductive Types

2017 · Fundamenta Informaticae

Functional languages offer a high level of abstraction, which results in programs that are elegant and easy to understand. Central to the development of functional programming are inductive and coinductive types and associated programming constructs, …