There are 0 repository under subtyping topic.
Tool for checking whether a JSON schema is a subschema of another JSON schema.
A course on advanced object-oriented design and programming
Agda formalization of fair subtyping for dependent session types
Bidirectional type checking for predicative System F
cronology is an automated workflow for Cronobacter whole genome sequence assembly, subtyping and isolate clustering based on NCBI Pathogen Detection Project for Cronobacter.
JSON-Schema based type resolver for golang
Filterer Pattern in 10 Steps
Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.
Labs from functional and concurrent programming feat. Scala
Methods for extracting information from jpHMM (http://jphmm.gobics.de) output.
This is a repo of my master's thesis written as part of my studies at the University of Wrocław
Free Love uses a library model to showcase advanced Scala concepts like polymorphism, variance, bounds, and the Curiously Recurring Template Pattern.
Playground for comparing different strategies for dealing with polymorphic datasets in Flink