Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Hyunik Na, Sukyoung Ryu |
A New Formalization of Subtyping to Match Subclasses to Subtypes. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
On the Preciseness of Subtyping in Session Types. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
16 | María Alpuente, Santiago Escobar 0001, Javier Espert, José Meseguer 0001 |
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Segun Jung, Yingtao Bi, Ramana V. Davuluri |
Comparison of data discretization methods for cross platform transfer of gene-expression based tumor subtyping classifier. |
ICCABS |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan |
Preciseness of Subtyping on Intersection and Union Types. |
RTA-TLCA |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jeongbong Seo, Sungwoo Park |
Judgmental subtyping systems with intersection types and modal types. |
Acta Informatica |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel Scherer, Didier Rémy |
GADTs meet subtyping |
CoRR |
2013 |
DBLP BibTeX RDF |
|
16 | Wenlong Tang, Junbo Duan, Ji-Gang Zhang, Yu-Ping Wang 0002 |
Subtyping glioblastoma by combining miRNA and mRNA expression data using compressed sensing-based approach. |
EURASIP J. Bioinform. Syst. Biol. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Chieri Saito, Atsushi Igarashi |
Matching MyType to subtyping. |
Sci. Comput. Program. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Zhaohui Luo, Sergei Soloviev 0001, Tao Xue |
Coercive subtyping: Theory and implementation. |
Inf. Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | José Dihego, Pedro R. G. Antonino, Augusto Sampaio |
Algebraic Laws for Process Subtyping. |
ICFEM |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Boris Düdder, Moritz Martens, Jakob Rehof |
Intersection Type Matching with Subtyping. |
TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Fridlender, Miguel Pagano |
A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation. |
TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Luca Padovani |
Fair Subtyping for Open Session Types. |
ICALP (2) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Salvatore Masecchia, Annalisa Barla, Saverio Salzo, Alessandro Verri |
Dictionary learning improves subtyping of breast cancer aCGH data. |
EMBC |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel Scherer, Didier Rémy |
GADTs Meet Subtyping. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Diana Allam, Hervé Grall, Jean-Claude Royer |
From Object-oriented Programming to Service-oriented Computing - How to Improve Interoperability by Preserving Subtyping. |
WEBIST |
2013 |
DBLP BibTeX RDF |
|
16 | Ornela Dardha, Daniele Gorla, Daniele Varacca |
Semantic Subtyping for Objects and Classes. |
FMOODS/FORTE |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Tao Xue |
Theory and implementation of coercive subtyping. |
|
2013 |
RDF |
|
16 | Olivier Laurent 0001 |
Intersection Types with Subtyping by Means of Cut Elimination. |
Fundam. Informaticae |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel Scherer, Didier Rémy |
GADT meet Subtyping |
CoRR |
2012 |
DBLP BibTeX RDF |
|
16 | Neal Glew |
Subtyping for F-Bounded Quantifiers and Equirecursive Types (Extended Version) |
CoRR |
2012 |
DBLP BibTeX RDF |
|
16 | Gavin M. Bierman, Andrew D. Gordon 0001, Catalin Hritcu, David E. Langworthy |
Semantic subtyping with an SMT solver. |
J. Funct. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Stergios Chatzikyriakidis, Zhaohui Luo |
An Account of Natural Language Coordination in Type Theory with Coercive Subtyping. |
CSLP |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Neal Glew |
Subtyping for F-Bounded Quantifiers and Equirecursive Types. |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Daisuke Bekki, Nicholas Asher |
Logical Polysemy and Subtyping. |
JSAI-isAI Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Spyros Hadjichristodoulou |
A Gradual Polymorphic Type System with Subtyping for Prolog. |
ICLP (Technical Communications) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Attila Góbi, Olha Shkaravska, Marko C. J. D. van Eekelen |
Higher-Order Size Checking without Subtyping. |
Trends in Functional Programming |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jiangwen Sun, Jinbo Bi, Henry R. Kranzler |
A multi-objective program for quantitative subtyping of clinically relevant phenotypes. |
BIBM |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Clément Guy, Benoît Combemale, Steven Derrien, Jim Steel, Jean-Marc Jézéquel |
On Model Subtyping. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Rho |
A Statically Typed Logic Context Query Language With Parametric Polymorphism and Subtyping. |
|
2012 |
RDF |
|
16 | Stefan Wehr, Peter Thiemann 0001 |
On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints. |
New Gener. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Herbert Toth |
Behavioral subtyping through typed assertions |
CoRR |
2011 |
DBLP BibTeX RDF |
|
16 | |
Simple, Decidable Type Inference with Subtyping |
CoRR |
2011 |
DBLP BibTeX RDF |
|
16 | Ioana Cristescu, Daniel Hirschkoff |
Termination in a Pi-calculus with Subtyping |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Wenlong Tang, Hongbao Cao, Junbo Duan, Yu-Ping Wang 0002 |
A Compressed Sensing Based Approach for Subtyping of Leukemia from gene Expression Data. |
J. Bioinform. Comput. Biol. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jyh-Ying Peng, Chung-Chih Lin, Yen-Jen Chen, Lung-Sen Kao, Young-Chau Liu, Chung-Chien Chou, Yi-Hung Huang, Fang-Rong Chang, Yang-Chang Wu, Yuh-Show Tsai, Chun-Nan Hsu |
Automatic Morphological Subtyping Reveals New Roles of Caspases in Mitochondrial Dynamics. |
PLoS Comput. Biol. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jaap van der Woude, Stef Joosten |
Relational Heterogeneity Relaxed by Subtyping. |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Yijing Liu, Zongyan Qiu, Quan Long |
WP Semantics and Behavioral Subtyping. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Dmitriy Traytel, Stefan Berghofer, Tobias Nipkow |
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Paar, Stefan Gruner |
Static typing with value space-based subtyping. |
SAICSIT |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Wenlong Tang, Hongbao Cao, Yu-Ping Wang 0002 |
Subtyping of Leukemia with Gene Expression Analysis Using Compressive Sensing Method. |
HISB |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Marek Materzok, Dariusz Biernacki |
Subtyping delimited continuations. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Giuseppe Castagna, Zhiwu Xu 0001 |
Set-theoretic foundation of parametric polymorphism and subtyping. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Nils Gesbert, Pierre Genevès, Nabil Layaïda |
Parametric polymorphism and semantic subtyping: the logical connection. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Vladimir Komendantsky |
Subtyping by Folding an Inductive Relation into a Coinductive One. |
Trends in Functional Programming |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Luca Padovani |
Fair Subtyping for Multi-party Session Types. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Youcef Hammal |
Behavioral Subtyping Relations for Timed Components. |
FGIT-ASEA/DRBC/EL |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
Lazy behavioral subtyping. |
J. Log. Algebraic Methods Program. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jason W. H. Wong, Alexander B. Schwahn, Kevin M. Downard |
FluTyper-an algorithm for automated typing and subtyping of the influenza virus from high resolution mass spectral data. |
BMC Bioinform. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Davide Ancona, Giovanni Lagorio |
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Adriana B. Compagnoni, Healfdene Goguen |
Relating Church-Style and Curry-Style Subtyping |
ITRS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
Integrating coercion with subtyping and multiple dispatch. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Nils Anders Danielsson, Thorsten Altenkirch |
Subtyping, Declaratively. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Lei Chen, Haiming Chen |
Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Peter Bollen |
Subtyping and Derivation Rules in Fact-Based Modeling. |
OTM Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Davide Ancona, Giovanni Lagorio |
Complete coinductive subtyping for abstract compilation of object-oriented languages. |
FTfJP@ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Gavin M. Bierman, Andrew D. Gordon 0001, Catalin Hritcu, David E. Langworthy |
Semantic subtyping with an SMT solver. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Seokhyun Han |
Verification of Java programs in type theory with dependent record types and coercive subtyping. |
|
2010 |
RDF |
|
16 | Yangyue Feng |
A theory of dependent record types with structural subtyping. |
|
2010 |
RDF |
|
16 | Benoît Montagu |
Programming with first-class modules in a core language with subtyping, singleton kinds and open existential types. (Programmer avec des modules de première classe dans un langage noyau pourvu de sous-typage, sortes singletons et types existentiels ouverts). |
|
2010 |
RDF |
|
16 | Terry A. Halpin |
Enriched Conceptualization of Subtyping. |
Innovations in Information Systems Modeling |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ju Han, Hang Chang, Gerald Fontenay, Nicholas J. Wang, Joe W. Gray, Bahram Parvin |
Morphometric Subtyping for a Panel of Breast Cancer Cell Lines. |
ISBI |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Nicholas Cameron 0001, Sophia Drossopoulou |
On subtyping, wildcards, and existential types. |
FTfJP@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Sheng-Lung Peng, Yu-Wei Tsay, Chich-Sheng Lin, Chuan Yi Tang |
CAPS Genomic Subtyping on Orthomyxoviridae. |
ICIC (1) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Robin Adams 0001 |
Coercive subtyping in lambda-free logical frameworks. |
LFMTP |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Lionel Marie-Magdeleine |
Sous-typage coercitif en présence de réductions non-standards dans un système aux types dépendants. (Coercive subtyping in a system with dependents types and non-standards reductions). |
|
2009 |
RDF |
|
16 | Klaus Ostermann |
Nominal and Structural Subtyping in Component-Based Programming. |
J. Object Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Abel 0001 |
Polarised subtyping for sized types. |
Math. Struct. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Adriana B. Compagnoni, Healfdene Goguen |
Theory and applications of subtyping: Introduction. |
Math. Struct. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Zhaohui Luo, Robin Adams 0001 |
Structural subtyping for inductive types with functorial equality rules. |
Math. Struct. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Giuseppe Castagna, Rocco De Nicola, Daniele Varacca |
Semantic subtyping for the pi-calculus. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | James Cheney |
Regular Expression Subtyping for XML Query and Update Languages |
CoRR |
2008 |
DBLP BibTeX RDF |
|
16 | Martin Plümicke |
Subtyping in Java 5.0. |
ITCS |
2008 |
DBLP BibTeX RDF |
|
16 | Paul Callaghan |
Coercive Subtyping via Mappings of Reduction Behaviour. |
LFMTP@CADE |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Zhipeng Cai 0001, Randy Goebel, Mohammad R. Salavatipour, Guohui Lin |
Selecting dissimilar genes for multi-class classification, an application in cancer subtyping. |
BMC Bioinform. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Gilles Didier, Laurent Debomy, Maude Pupin, Ming Zhang, Alexander Grossmann, Claudine Devauchelle, Ivan Laprevotte |
Comparing sequences without using alignments: application to HIV/SIV subtyping. |
BMC Bioinform. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Xiaomeng Wu, Zhipeng Cai 0001, Xiu-Feng Wan, Tin Hoang, Randy Goebel, Guohui Lin |
Nucleotide composition string selection in HIV-1 subtyping using whole genomes. |
Bioinform. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Terry A. Halpin |
Subtyping Revisited. |
EMMSAD |
2007 |
DBLP BibTeX RDF |
|
16 | David P. Chen, Susan C. Weber, Philip S. Constantinou, Todd A. Ferris, Henry J. Lowe, Atul J. Butte |
Clinical Arrays of Laboratory Measures, or "Clinarrays", Built from an Electronic Health Record Enable Disease Subtyping by Severity. |
AMIA |
2007 |
DBLP BibTeX RDF |
|
16 | Herbert Toth |
ABS++: Assertion Based Subtyping in C++. |
J. Object Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Pavel Naumov |
Logic of subtyping. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Fluet, Riccardo Pucella |
Phantom types and subtyping. |
J. Funct. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Lorenzo Bettini, Viviana Bono, Silvia Likavec |
Safe and Flexible Objects with Subtyping. |
J. Object Technol. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Tetsuo Kamina, Tetsuo Tamai |
Flexible Method Combination based on Mixin Subtyping. |
J. Object Technol. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Dario Colazzo, Giorgio Ghelli |
Subtyping recursion and parametric polymorphism in kernel fun. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Zhaohui Luo, Yong Luo 0001 |
Transitivity in coercive subtyping. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Francesco Logozzo |
An Approach to Behavioral Subtyping Based on Static Analysis. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Hennessy, Julian Rathke |
Typed behavioural equivalences for processes in the presence of subtyping. |
Math. Struct. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Fluet, Riccardo Pucella |
Phantom Types and Subtyping |
CoRR |
2004 |
DBLP BibTeX RDF |
|
16 | Viktor Kuncak, Martin C. Rinard |
On the Theory of Structural Subtyping |
CoRR |
2004 |
DBLP BibTeX RDF |
|
16 | Jens Palsberg, Tian Zhao 0002 |
Type inference for record concatenation and subtyping. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Adriana B. Compagnoni |
Higher-order subtyping and its decidability. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Robert Bruce Findler, Matthew Flatt, Matthias Felleisen |
Semantic Casts: Contracts and Structural Subtyping in a Nominal World. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
Subtyping-Inheritance Conflicts: The Mobile Mixin Case. |
IFIP TCS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Richard Myers, Catherine V. Gale, Caroline Clark, Julie Bennett, Richard S. Tedder, Ian G. Williams, Paul Kellam |
The Novel Virus Genotyping Tool (STAR) and its Use in Subtyping Human Immunodeficiency Virus Type-1 and Hepatitis B Viruses. |
Spanish Bioinformatics Conference |
2004 |
DBLP BibTeX RDF |
|
16 | Yong Luo 0001 |
Coherence and transitivity in coercive subtyping. |
|
2004 |
RDF |
|
16 | Anthony J. H. Simons |
The Theory of Classification, Part 6: The Subtyping Inquisition. |
J. Object Technol. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Anthony J. H. Simons |
The Theory of Classification, Part 5: Axioms, Assertions and Subtyping. |
J. Object Technol. |
2003 |
DBLP DOI BibTeX RDF |
|