There are 0 repository under subtype topic.
Discriminated Json Subtypes Converter implementation for .NET
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
Two or three subtypes of high grade serous ovarian cancer subtypes fit data from different populations better than four
Classifying Breast Cancer Molecular Subtypes
Transform the given type to another type during defining a method
Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
A functional/OO programming language with global subtype inference