Search results for "subtyping"

Hits ?▲	Authors	Title	Venue	Year	Link
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