The Combination of Dynamic and Static Typing from a Categorical Perspective
-
Updated
Sep 21, 2017 - TeX
The Combination of Dynamic and Static Typing from a Categorical Perspective
Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.
Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
Add a description, image, and links to the categorical-semantics topic page so that developers can more easily learn about it.
To associate your repository with the categorical-semantics topic, visit your repo's landing page and select "manage topics."