Latent tuberculosis infection (LTBI) poses a major roadblock in the global effort to eradicate (TB). A deep understanding of host responses involved establishment and maintenance TB latency is required propel development sensitive methods detect treat LTBI. Given that LTBI individuals are typically asymptomatic, it challenging differentiate latently infected from uninfected individuals. contrib...

We present a type-theoretic encoding of extensible objects and types. The ambient theory is a higher-order-calculus with poly-morphic types, recursive types and operators, and subtyping. Using this theory, we give a type preserving and computationally adequate translation of a full-edged object calculus that includes object extension and override. The translation specializes to calculi of nonex...

Abadi and Cardelli have recently investigated a calculus of objects 2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another object that has more reened methods. Abadi and Cardelli presented four rst-order type systems for the calculus. The simplest one is based on nite types and no subtyping, and the most powerful one has both recursive types a...

Accurate subtyping of renal cell carcinoma (RCC) is of crucial importance for understanding disease progression and for making informed treatment decisions. New discoveries of significant alterations to mitochondria between subtypes make immunohistochemical (IHC) staining based image classification an imperative. Until now, accurate quantification and subtyping was made impossible by huge IHC v...