A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Generic type-safe dynamic array library for C
predicative lookup container
A compiler for a little statically-typed language implemented in Haskell.
Generics for Go. A code generator, that uses struct declarations as DSL to configure what types should be created
Algebraic type based schema system
Interpreter written for Prolog course.
A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my master thesis.
Junu Spaghetti, a language that types spaghetti code
A sort package that sorts a slice regardless of the type of its contents.
Annotation-based Java code generation
Free Love uses a library model to showcase advanced Scala concepts like polymorphism, variance, bounds, and the Curiously Recurring Template Pattern.
Let's write a C program in a parametric-polymorphismic way!
SLConf 2024: 타입으로 안전하게 프로그래밍하기
Native JavaScript prototype extension with symbol protocols
The Felix Programming Language
Reified generics in Python to get type parameters at runtime
Add a description, image, and links to the parametric-polymorphism topic page so that developers can more easily learn about it.
To associate your repository with the parametric-polymorphism topic, visit your repo's landing page and select "manage topics."