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
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.
eti - Extended Type Information for c++
C-Like compiler for a niche architecture.
My solutions for the Programming Languages 2 course exercises of the ECE - National Technical University of Athens.
Typed functional coffeescript / javascript
A simple dependently typed programming language based on…
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."