Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Hyunik Na, Sukyoung Ryu |
A New Formalization of Subtyping to Match Subclasses to Subtypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 238-252, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
On the Preciseness of Subtyping in Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, pp. 135-146, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 573-581, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCABS ![In: IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2014, Miami, FL, USA, June 2-4, 2014, pp. 1-2, 2014, IEEE Computer Society, 978-1-4799-5786-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan |
Preciseness of Subtyping on Intersection and Union Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA-TLCA ![In: Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, pp. 194-207, 2014, Springer, 978-3-319-08917-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jeongbong Seo, Sungwoo Park |
Judgmental subtyping systems with intersection types and modal types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 50(7-8), pp. 359-380, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel Scherer, Didier Rémy |
GADTs meet subtyping ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1301.2903, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Bioinform. Syst. Biol. ![In: EURASIP J. Bioinform. Syst. Biol. 2013, pp. 2, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Chieri Saito, Atsushi Igarashi |
Matching MyType to subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 78(7), pp. 933-952, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Zhaohui Luo, Sergei Soloviev 0001, Tao Xue |
Coercive subtyping: Theory and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 223, pp. 18-42, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | José Dihego, Pedro R. G. Antonino, Augusto Sampaio |
Algebraic Laws for Process Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings, pp. 4-19, 2013, Springer, 978-3-642-41201-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Boris Düdder, Moritz Martens, Jakob Rehof |
Intersection Type Matching with Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 125-139, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 140-155, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Luca Padovani |
Fair Subtyping for Open Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II, pp. 373-384, 2013, Springer, 978-3-642-39211-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Salvatore Masecchia, Annalisa Barla, Saverio Salzo, Alessandro Verri |
Dictionary learning improves subtyping of breast cancer aCGH data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2013, Osaka, Japan, July 3-7, 2013, pp. 604-607, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel Scherer, Didier Rémy |
GADTs Meet Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, pp. 554-573, 2013, Springer, 978-3-642-37035-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST ![In: WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies, Aachen, Germany, 8-10 May, 2013, pp. 169-173, 2013, SciTePress, 978-989-8565-54-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Ornela Dardha, Daniele Gorla, Daniele Varacca |
Semantic Subtyping for Objects and Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, pp. 66-82, 2013, Springer, 978-3-642-38591-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Tao Xue |
Theory and implementation of coercive subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
16 | Olivier Laurent 0001 |
Intersection Types with Subtyping by Means of Cut Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 121(1-4), pp. 203-226, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel Scherer, Didier Rémy |
GADT meet Subtyping ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1210.5935, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Neal Glew |
Subtyping for F-Bounded Quantifiers and Equirecursive Types (Extended Version) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1202.2486, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Gavin M. Bierman, Andrew D. Gordon 0001, Catalin Hritcu, David E. Langworthy |
Semantic subtyping with an SMT solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 22(1), pp. 31-105, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Stergios Chatzikyriakidis, Zhaohui Luo |
An Account of Natural Language Coordination in Type Theory with Coercive Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSLP ![In: Constraint Solving and Language Processing - 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers, pp. 31-51, 2012, Springer, 978-3-642-41577-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Neal Glew |
Subtyping for F-Bounded Quantifiers and Equirecursive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic and Program Semantics ![In: Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday, pp. 66-82, 2012, Springer, 978-3-642-29484-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Daisuke Bekki, Nicholas Asher |
Logical Polysemy and Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI-isAI Workshops ![In: New Frontiers in Artificial Intelligence - JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers, pp. 17-24, 2012, Springer, 978-3-642-39930-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Spyros Hadjichristodoulou |
A Gradual Polymorphic Type System with Subtyping for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP (Technical Communications) ![In: Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary, pp. 451-457, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-43-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Attila Góbi, Olha Shkaravska, Marko C. J. D. van Eekelen |
Higher-Order Size Checking without Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Trends in Functional Programming - 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers, pp. 53-68, 2012, Springer, 978-3-642-40446-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jiangwen Sun, Jinbo Bi, Henry R. Kranzler |
A multi-objective program for quantitative subtyping of clinically relevant phenotypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: 2012 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2012, Philadelphia, PA, USA, October 4-7, 2012, pp. 1-6, 2012, IEEE Computer Society, 978-1-4673-2559-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Clément Guy, Benoît Combemale, Steven Derrien, Jim Steel, Jean-Marc Jézéquel |
On Model Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings, pp. 400-415, 2012, Springer, 978-3-642-31490-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Rho |
A Statically Typed Logic Context Query Language With Parametric Polymorphism and Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
16 | Stefan Wehr, Peter Thiemann 0001 |
On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 29(1), pp. 87-124, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Herbert Toth |
Behavioral subtyping through typed assertions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1101.0114, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | |
Simple, Decidable Type Inference with Subtyping ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1104.3116, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Ioana Cristescu, Daniel Hirschkoff |
Termination in a Pi-calculus with Subtyping ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011., pp. 44, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Bioinform. Comput. Biol. ![In: J. Bioinform. Comput. Biol. 9(5), pp. 631-645, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 7(10), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 76(10), pp. 915-941, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jaap van der Woude, Stef Joosten |
Relational Heterogeneity Relaxed by Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings, pp. 347-361, 2011, Springer, 978-3-642-21069-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Yijing Liu, Zongyan Qiu, Quan Long |
WP Semantics and Behavioral Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings, pp. 154-172, 2011, Springer, 978-3-642-23282-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Dmitriy Traytel, Stefan Berghofer, Tobias Nipkow |
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 89-104, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Paar, Stefan Gruner |
Static typing with value space-based subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAICSIT ![In: Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, SAICSIT 2011, Cape Town, South Africa, October 3-5, 2011, pp. 177-186, 2011, ACM, 978-1-4503-0878-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HISB ![In: 2011 IEEE International Conference on Healthcare Informatics, Imaging and Systems Biology, HISB 2011, San Jose, CA, USA, July 26-29, 2011, pp. 76-80, 2011, IEEE Computer Society, 978-1-4577-0325-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Marek Materzok, Dariusz Biernacki |
Subtyping delimited continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011, pp. 81-93, 2011, ACM, 978-1-4503-0865-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Giuseppe Castagna, Zhiwu Xu 0001 |
Set-theoretic foundation of parametric polymorphism and subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011, pp. 94-106, 2011, ACM, 978-1-4503-0865-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Nils Gesbert, Pierre Genevès, Nabil Layaïda |
Parametric polymorphism and semantic subtyping: the logical connection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011, pp. 107-116, 2011, ACM, 978-1-4503-0865-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Vladimir Komendantsky |
Subtyping by Folding an Inductive Relation into a Coinductive One. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Trends in Functional Programming, 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers, pp. 17-32, 2011, Springer, 978-3-642-32036-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Luca Padovani |
Fair Subtyping for Multi-party Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings, pp. 127-141, 2011, Springer, 978-3-642-21463-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Youcef Hammal |
Behavioral Subtyping Relations for Timed Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT-ASEA/DRBC/EL ![In: Software Engineering, Business Continuity, and Education - International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, pp. 26-35, 2011, Springer, 978-3-642-27206-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
Lazy behavioral subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 79(7), pp. 578-607, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 11, pp. 266, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Davide Ancona, Giovanni Lagorio |
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 214-230, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Adriana B. Compagnoni, Healfdene Goguen |
Relating Church-Style and Curry-Style Subtyping ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010., pp. 1-15, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
Integrating coercion with subtyping and multiple dispatch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 75(9), pp. 787-795, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Nils Anders Danielsson, Thorsten Altenkirch |
Subtyping, Declaratively. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings, pp. 100-118, 2010, Springer, 978-3-642-13320-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Lei Chen, Haiming Chen |
Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings, pp. 45-59, 2010, Springer, 978-3-642-14807-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Peter Bollen |
Subtyping and Derivation Rules in Fact-Based Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2010 Workshops - Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings, pp. 514-521, 2010, Springer, 978-3-642-16960-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Davide Ancona, Giovanni Lagorio |
Complete coinductive subtyping for abstract compilation of object-oriented languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010, pp. 1:1-1:7, 2010, ACM, 978-1-4503-0540-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Gavin M. Bierman, Andrew D. Gordon 0001, Catalin Hritcu, David E. Langworthy |
Semantic subtyping with an SMT solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010, pp. 105-116, 2010, ACM, 978-1-60558-794-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Seokhyun Han |
Verification of Java programs in type theory with dependent record types and coercive subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
16 | Yangyue Feng |
A theory of dependent record types with structural subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
16 | Terry A. Halpin |
Enriched Conceptualization of Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovations in Information Systems Modeling ![In: Innovations in Information Systems Modeling - Methods and Best Practices., pp. 1-16, 2009, IGI Global, 978-1-60566-278-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2009 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Boston, MA, USA, June 28 - July 1, 2009, pp. 791-794, 2009, IEEE, 978-1-4244-3932-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Nicholas Cameron 0001, Sophia Drossopoulou |
On subtyping, wildcards, and existential types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009, pp. 4:1-4:7, 2009, ACM, 978-1-60558-540-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Sheng-Lung Peng, Yu-Wei Tsay, Chich-Sheng Lin, Chuan Yi Tang |
CAPS Genomic Subtyping on Orthomyxoviridae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Emerging Intelligent Computing Technology and Applications, 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009. Proceedings, pp. 130-137, 2009, Springer, 978-3-642-04069-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Robin Adams 0001 |
Coercive subtyping in lambda-free logical frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009, pp. 30-39, 2009, ACM, 978-1-60558-529-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
16 | Klaus Ostermann |
Nominal and Structural Subtyping in Component-Based Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 7(1), pp. 121-145, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Abel 0001 |
Polarised subtyping for sized types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 18(5), pp. 797-822, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Adriana B. Compagnoni, Healfdene Goguen |
Theory and applications of subtyping: Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 18(5), pp. 795-796, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Zhaohui Luo, Robin Adams 0001 |
Structural subtyping for inductive types with functorial equality rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 18(5), pp. 931-972, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Giuseppe Castagna, Rocco De Nicola, Daniele Varacca |
Semantic subtyping for the pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 398(1-3), pp. 217-242, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | James Cheney |
Regular Expression Subtyping for XML Query and Update Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0801.0714, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Martin Plümicke |
Subtyping in Java 5.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCS ![In: Information Technology and Computer Science - ITCS 2008, Annual Meeting on ITCS at the Berufsakademie Baden-Würrtemberg, Stuttgart, Germany, February 20, 2008. Proceedings, pp. 33-37, 2008, BA-University Stuttgart. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Paul Callaghan |
Coercive Subtyping via Mappings of Reduction Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@CADE ![In: Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen, Germany, July 15, 2007, pp. 53-68, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 8, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 8, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 23(14), pp. 1744-1752, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Terry A. Halpin |
Subtyping Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMMSAD ![In: Proceedings of the 12th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2008, held in conjunction with the 19th Conference on Advanced Information Systems (CAiSE 2007), Trondheim, Norway, 11-15 June, 2007, pp. 122-132, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2007, American Medical Informatics Association Annual Symposium, Chicago, IL, USA, November 10-14, 2007, 2007, AMIA. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
16 | Herbert Toth |
ABS++: Assertion Based Subtyping in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 5(6), pp. 83-105, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Pavel Naumov |
Logic of subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 357(1-3), pp. 167-185, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Fluet, Riccardo Pucella |
Phantom types and subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 16(6), pp. 751-791, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Lorenzo Bettini, Viviana Bono, Silvia Likavec |
Safe and Flexible Objects with Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 4(10), pp. 5-29, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Tetsuo Kamina, Tetsuo Tamai |
Flexible Method Combination based on Mixin Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 4(10), pp. 95-115, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Dario Colazzo, Giorgio Ghelli |
Subtyping recursion and parametric polymorphism in kernel fun. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 198(2), pp. 71-147, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Zhaohui Luo, Yong Luo 0001 |
Transitivity in coercive subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 197(1-2), pp. 122-144, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Francesco Logozzo |
An Approach to Behavioral Subtyping Based on Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 157-170, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Hennessy, Julian Rathke |
Typed behavioural equivalences for processes in the presence of subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 14(5), pp. 651-684, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Fluet, Riccardo Pucella |
Phantom Types and Subtyping ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.PL/0403034, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Viktor Kuncak, Martin C. Rinard |
On the Theory of Structural Subtyping ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0408015, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Jens Palsberg, Tian Zhao 0002 |
Type inference for record concatenation and subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 189(1), pp. 54-86, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Adriana B. Compagnoni |
Higher-order subtyping and its decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 191(1), pp. 41-103, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Robert Bruce Findler, Matthew Flatt, Matthias Felleisen |
Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings, pp. 364-388, 2004, Springer, 3-540-22159-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
Subtyping-Inheritance Conflicts: The Mobile Mixin Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France, pp. 451-464, 2004, Kluwer/Springer, 1-4020-8140-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spanish Bioinformatics Conference ![In: Proceedings of the 5th Annual Spanish Bioinformatics Conference, Barcelona, Catalonia, Spain, November 29-30, 2004, pp. 44, 2004, Technical University of Catalonia, Barcelona, 84-7653-863-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
16 | Yong Luo 0001 |
Coherence and transitivity in coercive subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
16 | Anthony J. H. Simons |
The Theory of Classification, Part 6: The Subtyping Inquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 2(2), pp. 17-26, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Anthony J. H. Simons |
The Theory of Classification, Part 5: Axioms, Assertions and Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 2(1), pp. 13-22, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|