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.

Mizur is a tool to simplify the handling of units, and units coercion/mapping. (it is an evolution of Abacus)

Two or three subtypes of high grade serous ovarian cancer subtypes fit data from different populations better than four

A clinical genomics-guided prioritizing strategy enables accurately selecting proper cancer cell lines for biomedical research

Classifying Breast Cancer Molecular Subtypes

A predictive framework to identify signaling genes active in cell-cell interaction

Custom Subtyping in Julia

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.

Identify sub-type specific deferentially expressed genes

A functional/OO programming language with global subtype inference