Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
functional-programming
lambda-calculus
gradual-typing
categorical-semantics
linear-typing
adjoint-model
-
Updated
Jun 27, 2017 - TeX