This is a repo of my master's thesis written as part of my studies at the University of Wrocław
-
Updated
Mar 9, 2024 - Coq
This is a repo of my master's thesis written as part of my studies at the University of Wrocław
A C# source generator of fluent APIs from context-free grammar specifications. Generated fluent APIs implement covariant subtyping machines.
Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.
A Haskell library for object-oriented programming
Free Love uses a library model to showcase advanced Scala concepts like polymorphism, variance, bounds, and the Curiously Recurring Template Pattern.
JSON-Schema based type resolver for golang
Methods for extracting information from jpHMM (http://jphmm.gobics.de) output.
Bidirectional type checking for predicative System F
Labs from functional and concurrent programming feat. Scala
Lean Subtypes that have Super powers
Playground for comparing different strategies for dealing with polymorphic datasets in Flink
Manipulate scRNA-seq data with GSASD
Detecting and dissecting anomalous anatomic regions in spatial transcriptomics with STANDS
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
Agda formalization of fair subtyping for dependent session types
cronology is an automated workflow for Cronobacter whole genome sequence assembly, subtyping and isolate clustering based on NCBI Pathogen Detection Project for Cronobacter.
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."