We extend our existing [Eades:2017] categorical model of gradual typing to include linear types using adjoint models in the tradition of Benton [Benton:1994].
ct-gradual-typing / gradual-linear-typing Goto Github PK
View Code? Open in Web Editor NEWMixed Gradual and Linear Typing for Functional Languages: Terms and Models