All

4 repositories

Papers
Public
The Combination of Dynamic and Static Typing from a Categorical Perspective
functional-programming dynamic-typing gradual-typing categorical-semantics retracts static-typing categorical-model
TeX
•0•10•5•0•Updated Sep 21, 2017Sep 21, 2017
gradual-linear-typing
Public
Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
functional-programming lambda-calculus gradual-typing categorical-semantics linear-typing adjoint-model
TeX
•0•0•0•0•Updated Jun 27, 2017Jun 27, 2017
ct-gradual-typing.github.io
Public
Webpage for CT Gradual Typing
HTML
•0•0•1•0•Updated Mar 27, 2017Mar 27, 2017
Grady
Public
A Gradually Typed Functional Programming Language with Bounded Quantification
functional-programming dynamic-typing gradual-typing categorical-semantics retracts bounded-quantification pl-implementation
Haskell
•
Other
•0•7•0•0•Updated Mar 7, 2017Mar 7, 2017