subtyping

Rust library for versioned data types

Tool for checking whether a JSON schema is a subschema of another JSON schema.

Leibniz equivalence and Liskov substitutability library for Scala.

SubML (prototype) language

An implementation of structural subtyping of records and functions

A Haskell library for object-oriented programming

Screening Historical Events of Recombination in a Phylogeny via Ancestral Sequences

A course on advanced object-oriented design and programming

Agda formalization of fair subtyping for dependent session types

A C# source generator of fluent APIs from context-free grammar specifications. Generated fluent APIs implement covariant subtyping machines.

Bidirectional type checking for predicative System F

An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"

Filterer Pattern in 10 Steps

JSON-Schema based type resolver for golang

Labs from functional and concurrent programming feat. Scala

LpSubP is a rapid subtyping tool for Legionella pneumophila with core gene set

Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.

Playground for comparing different strategies for dealing with polymorphic datasets in Flink

Talk "Typage dynamique de l'objet courant"

Methods for extracting information from jpHMM (http://jphmm.gobics.de) output.