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
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…
Alcuni appunti sul libro "Thinking With Types", di Sandy Maguire
OCaml implementation of a constraint-based bottom-up type inference algorithm
Sudoku game, implemented in the TypeScript type system
Model-Driven Development Framework for Java
Presentation I gave on Krakow Scala User Group
Limited equirecursive types in Haskell
Haskell implementation of languages found in "Types and Programming Languages" book
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."