Search results for "polymorphism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Mirko Viroli	Parametric polymorphism in Java: an efficient implementation for parametric methods.	SAC	2001	DBLP DOI BibTeX RDF	Java
16	Jacques Garrigue	Simple Type Inference for Structural Polymorphism.	APLAS	2001	DBLP BibTeX RDF
16	Jun Furuse	Generic Polymorphism in ML.	JFLA	2001	DBLP BibTeX RDF
16	Rogardt Heldal	The Treatment of Polymorphism and Modules in a Partial Evaluator.		2001	RDF
16	Andrew M. Pitts	Parametric polymorphism and operational equivalence.	Math. Struct. Comput. Sci.	2000	DBLP BibTeX RDF
16	Allen K. C. Lee, Wai-Hung Ip, Kai-Leung Yung	Inheritance and polymorphism in real-time monitoring and control systems.	J. Intell. Manuf.	2000	DBLP DOI BibTeX RDF
16	Wayne L. Bethea	Adding parametric polymorphism to the common object request broker architecture (CORBA) (poster session).	OOPSLA Addendum	2000	DBLP DOI BibTeX RDF
16	Mads Tofte, Lars Birkedal	Unification and polymorphism in region inference.	Proof, Language, and Interaction	2000	DBLP BibTeX RDF
16	Michel Beaudouin-Lafon, Wendy E. Mackay	Reification, Polymorphism and Reuse: Three Principles for Designing Visual Interfaces.	Advanced Visual Interfaces	2000	DBLP DOI BibTeX RDF
16	Suad Alagic, Tuong Nguyen	Parametric Polymorphism and Orthogonal Persistence.	Objects and Databases	2000	DBLP DOI BibTeX RDF
16	Stéphane Ducasse, Oscar Nierstrasz, Serge Demeyer	Transform Conditionals to Polymorphism.	EuroPLoP	2000	DBLP BibTeX RDF
16	Guodong Gong, Shih-Chuan Cheng, John N. Mordeson	Vitamin D Receptor Gene Polymorphism Affects Bone Mineral Density: An Analysis by Fuzzy Mathematics.	Inf. Sci.	1999	DBLP DOI BibTeX RDF
16	Norman Danner, Daniel Leivant	Stratified polymorphism and primitive recursion.	Math. Struct. Comput. Sci.	1999	DBLP BibTeX RDF
16	Chung-Yeung Pang	A Pattern of Inheritance and Polymorphism for Persistent Objects Stored in a Relational Database.	J. Object Oriented Program.	1999	DBLP BibTeX RDF
16	Christoph Beierle, Reinhold Kloos, Gregor Meyer	A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming.	Verification of Logic Programs@ICLP	1999	DBLP DOI BibTeX RDF
16	Amanda Chou, John Burke	CRAWview: for viewing splicing variation, gene families, and polymorphism in clusters of ESTs and full-length sequences.	Bioinform.	1999	DBLP DOI BibTeX RDF
16	Atsushi Ohori	Type-Directed Specialization of Polymorphism.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
16	Jacques Garrigue, Didier Rémy	Semi-Explicit First-Class Polymorphism for ML.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
16	Norman Ramsey	Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions.	Comput. J.	1999	DBLP DOI BibTeX RDF
16	Martin Plümicke	Polymorphism in OBJ-P.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
16	Thomas W. Blackwell, Eric C. Rouchka, David J. States	Identity by Descent Genome Segmentation Based on Single Nucleotide Polymorphism Distributions.	ISMB	1999	DBLP BibTeX RDF
16	Peer Bork	Comparing genes and genomes (abstract): from polymorphism to phylogeny.	RECOMB	1999	DBLP DOI BibTeX RDF
16	Ken-etsu Fujita	Explicitly Typed lambda µ-Calculus for Polymorphism an Call-by-Value.	TLCA	1999	DBLP DOI BibTeX RDF
16	Brian Guarraci	Using Polymorphism to Create Complex Agents.	Agents	1999	DBLP DOI BibTeX RDF	designing agent systems, agent architectures
16	Siva Challa	Improving Polymorphism and Concurrency in Common Object Models.		1999	RDF
16	Yuxi Fu	Structures definable in polymorphism.	J. Comput. Sci. Technol.	1998	DBLP DOI BibTeX RDF
16	Peter W. O'Hearn	Polymorphism, objects and abstract types.	SIGACT News	1998	DBLP DOI BibTeX RDF
16	Vassily Litvinov	Constraint-based polymorphism in Cecil: towards a practical and static type system.	OOPSLA Addendum	1998	DBLP DOI BibTeX RDF
16	Aleksy Schubert	Second-Order Unification and Type Inference for Church-Style Polymorphism.	POPL	1998	DBLP DOI BibTeX RDF
16	Luigi Liquori	Bounded Polymorphism for Extensible Objects.	TYPES	1998	DBLP DOI BibTeX RDF
16	Karl Crary, Stephanie Weirich, J. Gregory Morrisett	Intensional Polymorphism in Type-Erasure Semantics.	ICFP	1998	DBLP DOI BibTeX RDF
16	Dharini Balasubramaniam	Extension polymorphism.		1998	RDF
16	Andrew M. Pitts	Parametric Polymorphism and Operational Equivalence.	HOOTS	1997	DBLP DOI BibTeX RDF
16	Benjamin C. Pierce	Intersection Types and Bounded Polymorphism.	Math. Struct. Comput. Sci.	1997	DBLP DOI BibTeX RDF
16	Atsushi Ohori, Tomonobu Takamizawa	An Unboxed Operational Semantics for ML Polymorphism.	LISP Symb. Comput.	1997	DBLP BibTeX RDF
16	Chuck C. Liang	Let-Polymorphism and Eager Type Schemes.	TAPSOFT	1997	DBLP DOI BibTeX RDF
16	Mark P. Jones	First-class Polymorphism with Type Inference.	POPL	1997	DBLP DOI BibTeX RDF	ML
16	Paul Roe, Clemens A. Szyperski	Lightweight Parametric Polymorphism for Oberon.	JMLC	1997	DBLP DOI BibTeX RDF
16	Jacques Garrigue, Didier Rémy	Extending ML with Semi-Explicit Higher-Order Polymorphism.	TACS	1997	DBLP DOI BibTeX RDF
16	Atsushi Ohori	Type System for Specializing Polymorphism.	TACS	1997	DBLP DOI BibTeX RDF
16	Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen	Graphs in METAFrame: The Unifying Power of Polymorphism.	TACAS	1997	DBLP DOI BibTeX RDF
16	Richard Riehle	Dynamic Polymorphism.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
16	Jan-Bon Chen, Samuel C. Lee	The Necessary and Sufficient Conditions of Type-Safe Polymorphism.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
16	Jerry Gao 0002, Chris Chen, Yasufumi Toyoshima, David Chenho Kung, Pei Hsia	Identifying Polymorphism Change and Impact in Object-orientated Software Maintenance.	J. Softw. Maintenance Res. Pract.	1996	DBLP DOI BibTeX RDF
16	Giuseppe Castagna	Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping.	Formal Aspects Comput.	1996	DBLP DOI BibTeX RDF
16	John Greiner	Weak Polymorphism can be Sound.	J. Funct. Program.	1996	DBLP DOI BibTeX RDF
16	John C. Mitchell, Ramesh Viswanathan	Standard ML-NJ Weak Polymorphism and Imperative Constructs.	Inf. Comput.	1996	DBLP DOI BibTeX RDF
16	Amit M. Paradkar	Inter-class testing of O-O software in the presence of polymorphism.	CASCON	1996	DBLP BibTeX RDF
16	Giuseppe Longo	Parametric and Type-Dependent Polymorphism.	Fundam. Informaticae	1995	DBLP DOI BibTeX RDF
16	Jan-Bon Chen, Samuel C. Lee	Pursuing Safe Polymorphism in OOP.	J. Object Oriented Program.	1995	DBLP BibTeX RDF
16	Moez Alimohamed	A Characterization of lambda Definability in Categorical Models of Implicit Polymorphism.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
16	Julio Rozas, Ricardo Rozas	DnaSP, DNA sequence polymorphism: an interactive program for estimating population genetics parameters from DNA sequence data.	Comput. Appl. Biosci.	1995	DBLP DOI BibTeX RDF
16	Andrew K. Wright	Simple Imperative Polymorphism.	LISP Symb. Comput.	1995	DBLP BibTeX RDF
16	Terry A. Halpin, Henderik Alex Proper	Subtyping and Polymorphism in Object-Role Modelling.	Data Knowl. Eng.	1995	DBLP DOI BibTeX RDF
16	Mark P. Jones	A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism.	J. Funct. Program.	1995	DBLP DOI BibTeX RDF
16	Gerald Baumgartner, Vincent F. Russo	Signatures: A Language Extension for Improving Type Abstraction and Subtype Polymorphism in C++.	Softw. Pract. Exp.	1995	DBLP DOI BibTeX RDF
16	Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers	Subtypes vs. Where Clauses: Constraining Parametric Polymorphism.	OOPSLA	1995	DBLP DOI BibTeX RDF
16	Roberto Bellucci, Martín Abadi, Pierre-Louis Curien	A Model for Formal Parametric Polymorphism: A PER Interpretation for System R.	TLCA	1995	DBLP DOI BibTeX RDF
16	Roberto Di Cosmo, Adolfo Piperno	Expanding Extensional Polymorphism.	TLCA	1995	DBLP DOI BibTeX RDF
16	Silvia Clerici, Rosa M. Jiménez, Fernando Orejas	Class-Sort Polymorphism in GLIDER.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
16	Mark P. Jones	Functional Programming with Overloading and Higher-Order Polymorphism.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
16	Richard Connor 0001, Dharini Balasubramaniam, Ronald Morrison	Investigating Extension Polymorphism.	DBPL	1995	DBLP BibTeX RDF
16	Ryu Hasegawa	Categorical Data Types in Parametric Polymorphism.	Math. Struct. Comput. Sci.	1994	DBLP DOI BibTeX RDF
16	Carl Ponder, Bill Bush	Polymorphism considered harmful.	ACM SIGSOFT Softw. Eng. Notes	1994	DBLP DOI BibTeX RDF
16	Honghao Yang, Peter W. Melera	A genetic polymorphism within the third poly(A) signal of the DHFR gene alters the polyadenylation pattern of DHFR transcripts in CHL cells.	Nucleic Acids Res.	1994	DBLP DOI BibTeX RDF
16	Suad Alagic	F-Bounded Polymorphism for Database Programming Languages.	East/West Database Workshop	1994	DBLP DOI BibTeX RDF
16	Ryan Stansifer, Dan Wetklow	Type reconstruction for coercion polymorphism.	SAC	1994	DBLP DOI BibTeX RDF
16	Edmund P. Robinson, Giuseppe Rosolini	Reflexive Graphs and Parametric Polymorphism	LICS	1994	DBLP DOI BibTeX RDF
16	Ole Agesen	Constraint-Based Type Inference and Parametric Polymorphism.	SAS	1994	DBLP DOI BibTeX RDF
16	Mark P. Jones	ML Typing, Explicit Polymorphism and Qualified Types.	TACS	1994	DBLP DOI BibTeX RDF
16	Dinesh Katiyar, David C. Luckham, John C. Mitchell	Polymorphism and Subtyping in Interfaces.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
16	Vasco Thudichum Vasconcelos	Predicative Polymorphism in Pi-Calculus.	PARLE	1994	DBLP DOI BibTeX RDF
16	Martín Abadi, Luca Cardelli, Pierre-Louis Curien	Formal Parametric Polymorphism.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
16	Peter J. Freyd	Structural Polymorphism.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
16	Fairouz Kamareddine, Ewan Klein	Polymorphism, Type containment and Nominalization.	J. Log. Lang. Inf.	1993	DBLP DOI BibTeX RDF
16	Mark P. Jones	A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism.	FPCA	1993	DBLP DOI BibTeX RDF
16	Benjamin C. Pierce	Intersection Types and Bounded Polymorphism.	TLCA	1993	DBLP DOI BibTeX RDF
16	Gordon D. Plotkin, Martín Abadi	A Logic for Parametric Polymorphism.	TLCA	1993	DBLP DOI BibTeX RDF
16	My Hoang, John C. Mitchell, Ramesh Viswanathan	Standard ML-NJ weak polymorphism and imperative constructs	LICS	1993	DBLP DOI BibTeX RDF
16	Martín Abadi, Luca Cardelli, Pierre-Louis Curien	Formal Parametric Polymorphism.	POPL	1993	DBLP DOI BibTeX RDF
16	John C. Reynolds	An Introduction to Logical Relations and Parametric Polymorphism - Tutorial.	POPL	1993	DBLP DOI BibTeX RDF
16	Martin Emms	Parsing with polymorphism.	EACL	1993	DBLP BibTeX RDF
16	Jin Song Dong, Roger Duke	Class Union and Polymorphism.	TOOLS (12/9)	1993	DBLP BibTeX RDF
16	Giuseppe Castagna	F&<=: integrating parametric and "ad hoc" second order polymorphism.	DBPL	1993	DBLP BibTeX RDF
16	Carl Ponder, Bill Bush	Polymorphism considered harmful.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
16	Harry G. Mairson	Quantifier Elimination and Parametric Polymorphism in Programming Languages.	J. Funct. Program.	1992	DBLP DOI BibTeX RDF
16	Andrea Asperti, Simone Martini 0001	Categorical Models of Polymorphism	Inf. Comput.	1992	DBLP DOI BibTeX RDF
16	Kim B. Bruce, John C. Mitchell	PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism.	POPL	1992	DBLP DOI BibTeX RDF
16	Injun Choi, Michael V. Mannino	Graph interpretation of methods: a unifying framework for polymorphism in object-oriented programming.	OOPS Messenger	1991	DBLP DOI BibTeX RDF
16	David Charles McCarty	Polymorphism and Apartness.	Notre Dame J. Formal Log.	1991	DBLP DOI BibTeX RDF
16	Eliecer Coto, Orlando Domínguez, Eduardo Martínez-Naves, Fernando Setién, Victoria Gutiérrez, Carlos López-Larrea	MspI polymorphism at the human complement component C6 gene (C6).	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	P. S. Ganly, P. H. Rabbitts	Polymerase chain reaction (PCR) for detection of MspI and DraI polymorphism at the THRB gene.	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	Heinrich Kovar, G. Jug, H. Auer, Tim Skern, D. Blaas	Two dimensional single-strand conformation polymorphism analysis: a useful tool for the detection of mutations in long DNA fragments.	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	Michael Dean, C. Stewart, A. Perry, D. Stauffer, B. Otterud, R. White, M. Leppert	D7S448 detects a HindIII polymorphism located in the centromere region of chromosome 7.	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	James E. Hixson, D. T. Vernier, P. K. Powers	Detection of SstI restriction site polymorphism in human APOC3 by the polymerase chain reaction.	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	S. Todd, S. L. Naylor	Dinucleotide repeat polymorphism in the human surfactant-associated protein 3 gene (SFTP3).	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	P. S. Ganly, J. Douglas, P. H. Rabbitts	Polymerase chain reaction (PCR) for detection of MspI polymorphism at the D3S6 locus.	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	S. Todd, S. L. Naylor	Dinucleotide repeat polymorphism in the human tubulin alpha 1 (testis specific) gene (TUBA1).	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	W. Poller, J. P. Faber, K. Olek	Sequence polymorphism in the human alpha-2-macroglobulin (A2M) gene.	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	P. Froguel, H. Zouali, F. Sun, Gilberto Velho, H. Fukumoto, P. Passa, D. Cohen	CA repeat polymorphism in the glucose transporter GLUT 2 gene.	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF