#

retracts

Here is 1 public repository matching this topic...

ct-gradual-typing / Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective

functional-programming dynamic-typing gradual-typing categorical-semantics retracts static-typing categorical-model

Updated Sep 21, 2017
TeX

Improve this page

Add a description, image, and links to the retracts topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the retracts topic, visit your repo's landing page and select "manage topics."