Výsledky vyhledávání - "Laurent, Mickaël"

Report

Polymorphic Type Inference for Dynamic Languages

Autor: Castagna, Giuseppe, Laurent, Mickaël, Nguyen, Kim

Publikováno v: Proceedings of the ACM on Programming Languages, In press, 8 (POPL), pp.40

We present a type system that combines, in a controlled way, first-order polymorphism with intersectiontypes, union types, and subtyping, and prove its safety. We then define a type reconstruction algorithm that issound and terminating. This yields a

Externí odkaz: http://arxiv.org/abs/2311.10426

Zobrazit plný text záznamu

Report

Merit and Blame Assignment with Kind 2

Autor: Larraz, Daniel, Laurent, Mickaël, Tinelli, Cesare

We introduce two new major features of the open-source model checker Kind 2 which provide traceability information between specification and design elements such as assumptions, guarantees, or other behavioral constraints in synchronous reactive syst

Externí odkaz: http://arxiv.org/abs/2105.06575

Zobrazit plný text záznamu

Report

Revisiting Occurrence Typing

Autor: Castagna, Giuseppe, Lanvin, Victor, Laurent, Mickaël, Nguyen, Kim

We revisit occurrence typing, a technique to refine the type of variables occurring in type-cases and, thus, capturesome programming patterns used in untyped languages. Although occurrence typing was tied from its inceptionto set-theoretic types-unio

Externí odkaz: http://arxiv.org/abs/1907.05590

Zobrazit plný text záznamu