Gradual-Typing

Gradual-Typing's repositories

A compiler for the gradually typed lambda calculus

Language:CMIT74 5 40

Collection of benchmarks for gradually-typed languages

Language:Racket4 3 5

The Agda mechanization of a gradual security-typed programming language with general mutable references.

Language:Agda3 10

Dynamizer produces valid less precisely-typed versions of a valid program in Grift.

Language:HaskellGPL-3.01 30

Parser and pretty printer for Grift languages

Language:HaskellBSD-3-Clause1 30

An repository for collecting experiments that explore semantic choices with interpreters and models.

Language:RacketMIT1 30

Language:Agda040

Language:Dockerfile030

NSF grant website

Language:HTML030

Gradual Typing Performance benchmarks

Language:RacketNOASSERTION000

Language:Agda030

Useful in mutable references.

Language:Agda000