An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
-
Updated
Aug 16, 2017 - Haskell
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
An implementation of structural subtyping of records and functions
JSON-Schema based type resolver for golang
Labs from functional and concurrent programming feat. Scala
Bidirectional type checking for predicative System F
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
A Haskell library for object-oriented programming
Screening Historical Events of Recombination in a Phylogeny via Ancestral Sequences
Methods for extracting information from jpHMM (http://jphmm.gobics.de) output.
A C# source generator of fluent APIs from context-free grammar specifications. Generated fluent APIs implement covariant subtyping machines.
SubML (prototype) language
Leibniz equivalence and Liskov substitutability library for Scala.
Agda formalization of fair subtyping for dependent session types
LpSubP is a rapid subtyping tool for Legionella pneumophila with core gene set
A course on advanced object-oriented design and programming
Free Love uses a library model to showcase advanced Scala concepts like polymorphism, variance, bounds, and the Curiously Recurring Template Pattern.
Add a description, image, and links to the subtyping topic page so that developers can more easily learn about it.
To associate your repository with the subtyping topic, visit your repo's landing page and select "manage topics."