parametric-polymorphism

The Felix Programming Language

Principled schema system for JSON. Work in progress.

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

A compiler for a little statically-typed language implemented in Haskell.

A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my master thesis.

Interpreter written for Prolog course.

[Talk] Programmation par Traits sous l'influence de la gestion mémoire

predicative lookup container

Generic type-safe dynamic array library for C

Annotation-based Java code generation

A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F

Generics for Go. A code generator, that uses struct declarations as DSL to configure what types should be created

Junu Spaghetti, a language that types spaghetti code