A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
-
Updated
Aug 5, 2017 - Haskell
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
[READ ONLY] Subtree split of the Railt SDL component (see railt/railt)
A minimal functional programming language with type inference, algebraic data types and pattern matching
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
unidiomatic usage of Rust, no linear type, no memory safety 😂
Strong non-interference for fine-grained concurrent programs
Programming work for my Senior Initiative project
XQuery query processing optimization based on XML projection
Limited equirecursive types in Haskell
Haskell implementation of languages found in "Types and Programming Languages" book
ArgonWorks the second version of a compiler and a novel IDE for working with the Argon language. Argon has multiple inheritance as well as type inference but methods are all multimethods and dispatch according to the types of all parameters not just the receiver.
make type inference system in python
Learning Haskell: Language basic, Type system, Class Types, From functor to Monad, Parallelism for free.
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."