Modular Inference of Linear Types for Multiplicity-Annotated Arrows

Kazutaka Matsuda

Bernardy et al. [2018] proposed a linear type system ${\lambda }_{\to }^q$ as a core type system of Linear Haskell. In the system, linearity is represented by annotated arrow types $A{\to }_{m}B$…