#

retracts

Here are 2 public repositories 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

ct-gradual-typing / Grady

A Gradually Typed Functional Programming Language with Bounded Quantification

functional-programming dynamic-typing gradual-typing categorical-semantics retracts bounded-quantification pl-implementation

Updated Mar 7, 2017
Haskell

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."