A Gradually Typed Functional Programming Language with Bounded Quantification
-
Updated
Mar 7, 2017 - Haskell
A Gradually Typed Functional Programming Language with Bounded Quantification
Queries to computer vision json results in TypeScript
an implementation of gradual typing in mit-scheme
Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
The Combination of Dynamic and Static Typing from a Categorical Perspective
The Prime Directive
A gradually typed language with intersection types
Experimental implementation of Gradual Ownership Types for Java 1.4
An interpreter written in Haskell for a gradually typed functional language
IntelliSense-like autocompletion features for string literals in TypeScript
An implementation of the Gradually Typed Lambda Calculus with a Scheme-like syntax in OCaml
Monotonic References for Gradual Typing in Agda
Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
Interpreter of the ITGL with runtime type inference
The Agda mechanization of a gradual security-typed programming language with general mutable references.
A simple little programming language that could one day compile to JavaScript.
Artifact for ICFP paper "Theorems for Free for Free"
Add a description, image, and links to the gradual-typing topic page so that developers can more easily learn about it.
To associate your repository with the gradual-typing topic, visit your repo's landing page and select "manage topics."