Compositional type checking for Haskell
-
Updated
Apr 14, 2011 - Haskell
Compositional type checking for Haskell
Experimental implementation of Gradual Ownership Types for Java 1.4
Tiny research language for investigating how to type-check programs with recursive function calls.
a implementation of DHM, support extra types and expressions.
custom type systems for python in prolog: http:https://alehander42.me/prolog_type_systems
4th Year Honours Thesis on Programming Language Semantics
unidiomatic usage of Rust, no linear type, no memory safety 😂
A macro for defining type operators in Rust.
Source code for TAPL
An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]
A specification language of JSON objects for statically typed languages
Add a description, image, and links to the type-system topic page so that developers can more easily learn about it.
To associate your repository with the type-system topic, visit your repo's landing page and select "manage topics."