trakt pipeline processor plex tmdb tvdb subtypes datastream intra pachinko media-sorter postprocessors options-pachinko

haskell typechecker subtyping subtypes

semantics agda proofs subtypes agda-mechanization interval-kinds

julia typing julia-language subtype subtypes custom-types

julia metaprogramming method transform type macro subtype specific subtypes ambiguity ambiguity-resolver ambiguity-error

machine-learning bioinformatics neural-network cancer clustering subtype cancer-research breast-cancer unsupervised-machine-learning heterogeneity subtypes breast-cancer-tumor pam50 breastcancer-classification tumors breastcancer molecular-subtype