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 |
|