Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Mirko Viroli |
Parametric polymorphism in Java: an efficient implementation for parametric methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), March 11-14, 2001, Las Vegas, NV, USA, pp. 610-619, 2001, ACM, 1-58113-287-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Java |
16 | Jacques Garrigue |
Simple Type Inference for Structural Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings, pp. 329-343, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
16 | Jun Furuse |
Generic Polymorphism in ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFLA ![In: Journées francophones des langages applicatifs (JFLA'01), Pontarlier, France, Janvier, 2001, pp. 75-96, 2001, INRIA, 2-7261-1154-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
16 | Rogardt Heldal |
The Treatment of Polymorphism and Modules in a Partial Evaluator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
16 | Andrew M. Pitts |
Parametric polymorphism and operational equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 10(3), pp. 321-359, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 11(3), pp. 285-294, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Wayne L. Bethea |
Adding parametric polymorphism to the common object request broker architecture (CORBA) (poster session). ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Addendum ![In: Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2000, Minneapolis, MN, USA, October 15-19, 2000, pp. 119-120, 2000, ACM, 1-58113-307-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Mads Tofte, Lars Birkedal |
Unification and polymorphism in region inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof, Language, and Interaction ![In: Proof, Language, and Interaction, Essays in Honour of Robin Milner, pp. 389-424, 2000, The MIT Press, 978-0-262-16188-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Michel Beaudouin-Lafon, Wendy E. Mackay |
Reification, Polymorphism and Reuse: Three Principles for Designing Visual Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Visual Interfaces ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2000, Palermo, Italy, May 23-26, 2000, pp. 102-109, 2000, ACM Press, 1-58113-252-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Suad Alagic, Tuong Nguyen |
Parametric Polymorphism and Orthogonal Persistence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Objects and Databases ![In: Objects and Databases, International Symposium, Sophia Antipolis, France, June 13, 2000, Proceedings, pp. 32-46, 2000, Springer, 3-540-41664-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Stéphane Ducasse, Oscar Nierstrasz, Serge Demeyer |
Transform Conditionals to Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPLoP ![In: Proceedings of the 5th European Conference on Pattern Languages of Programms (EuroPLoP '2000), Irsee, Germany, July 5-9, 2000, pp. 219-252, 2000, UVK - Universitaetsverlag Konstanz, 978-3-87940-775-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 113(1-2), pp. 113-129, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Norman Danner, Daniel Leivant |
Stratified polymorphism and primitive recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 9(4), pp. 507-522, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
16 | Chung-Yeung Pang |
A Pattern of Inheritance and Polymorphism for Persistent Objects Stored in a Relational Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 11(9), pp. 41-44, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
16 | Christoph Beierle, Reinhold Kloos, Gregor Meyer |
A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification of Logic Programs@ICLP ![In: Workshop on Verification of Logic Programs 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999, pp. 1-21, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 15(5), pp. 376-381, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Atsushi Ohori |
Type-Directed Specialization of Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 155(1-2), pp. 64-107, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Jacques Garrigue, Didier Rémy |
Semi-Explicit First-Class Polymorphism for ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 155(1-2), pp. 134-169, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Norman Ramsey |
Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 42(5), pp. 360-372, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Martin Plümicke |
Polymorphism in OBJ-P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 149-154, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMB ![In: Proceedings of the Seventh International Conference on Intelligent Systems for Molecular Biology, August 6-10, 1999, Heidelberg, Germany, pp. 54-59, 1999, AAAI, 1-57735-083-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
16 | Peer Bork |
Comparing genes and genomes (abstract): from polymorphism to phylogeny. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Third Annual International Conference on Research in Computational Molecular Biology, RECOMB 1999, Lyon, France, April 11-14, 1999, pp. 69-76, 1999, ACM, 1-58113-069-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Ken-etsu Fujita |
Explicitly Typed lambda µ-Calculus for Polymorphism an Call-by-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings, pp. 162-176, 1999, Springer, 3-540-65763-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Brian Guarraci |
Using Polymorphism to Create Complex Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents ![In: Proceedings of the Third Annual Conference on Autonomous Agents, AGENTS 1999, Seattle, WA, USA, May 1-5, 1999, pp. 354-355, 1999, ACM, 1-58113-066-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
designing agent systems, agent architectures |
16 | Siva Challa |
Improving Polymorphism and Concurrency in Common Object Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1999 |
RDF |
|
16 | Yuxi Fu |
Structures definable in polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 13(6), pp. 579-587, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Peter W. O'Hearn |
Polymorphism, objects and abstract types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 29(4), pp. 39-50, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Vassily Litvinov |
Constraint-based polymorphism in Cecil: towards a practical and static type system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Addendum ![In: Addendum to the 1998 Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 1998 Addendum, Vancouver, British Columbia, Canada, October 18-22, 1998, 1998, ACM, 978-1-58113-286-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Aleksy Schubert |
Second-Order Unification and Type Inference for Church-Style Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 279-288, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Luigi Liquori |
Bounded Polymorphism for Extensible Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers, pp. 149-163, 1998, Springer, 3-540-66537-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Karl Crary, Stephanie Weirich, J. Gregory Morrisett |
Intensional Polymorphism in Type-Erasure Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998., pp. 301-312, 1998, ACM, 1-58113-024-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Dharini Balasubramaniam |
Extension polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
RDF |
|
16 | Andrew M. Pitts |
Parametric Polymorphism and Operational Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 2-27, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin C. Pierce |
Intersection Types and Bounded Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 7(2), pp. 129-193, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Atsushi Ohori, Tomonobu Takamizawa |
An Unboxed Operational Semantics for ML Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 10(1), pp. 61-91, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
16 | Chuck C. Liang |
Let-Polymorphism and Eager Type Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, pp. 490-501, 1997, Springer, 3-540-62781-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Mark P. Jones |
First-class Polymorphism with Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 483-496, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ML |
16 | Paul Roe, Clemens A. Szyperski |
Lightweight Parametric Polymorphism for Oberon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997, Proceedings, pp. 140-154, 1997, Springer, 3-540-62599-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Jacques Garrigue, Didier Rémy |
Extending ML with Semi-Explicit Higher-Order Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings, pp. 20-46, 1997, Springer, 3-540-63388-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Atsushi Ohori |
Type System for Specializing Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings, pp. 107-137, 1997, Springer, 3-540-63388-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings, pp. 112-129, 1997, Springer, 3-540-62790-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Richard Riehle |
Dynamic Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 9(3), pp. 60-64, 74, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
16 | Jan-Bon Chen, Samuel C. Lee |
The Necessary and Sufficient Conditions of Type-Safe Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 8(9), pp. 33-42, 47, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Maintenance Res. Pract. ![In: J. Softw. Maintenance Res. Pract. 8(6), pp. 357-387, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Giuseppe Castagna |
Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 8(3), pp. 247-293, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | John Greiner |
Weak Polymorphism can be Sound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 6(1), pp. 111-141, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | John C. Mitchell, Ramesh Viswanathan |
Standard ML-NJ Weak Polymorphism and Imperative Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 127(2), pp. 102-116, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Amit M. Paradkar |
Inter-class testing of O-O software in the presence of polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, November 12-14, 1996, Toronto, Ontario, Canada, pp. 30, 1996, IBM. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
16 | Giuseppe Longo |
Parametric and Type-Dependent Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 22(1/2), pp. 69-92, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Jan-Bon Chen, Samuel C. Lee |
Pursuing Safe Polymorphism in OOP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 8(1), pp. 39-45, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
16 | Moez Alimohamed |
A Characterization of lambda Definability in Categorical Models of Implicit Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 146(1&2), pp. 5-23, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Biosci. ![In: Comput. Appl. Biosci. 11(6), pp. 621-625, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Andrew K. Wright |
Simple Imperative Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 8(4), pp. 343-355, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
16 | Terry A. Halpin, Henderik Alex Proper |
Subtyping and Polymorphism in Object-Role Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 15(3), pp. 251-281, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Mark P. Jones |
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 5(1), pp. 1-35, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Gerald Baumgartner, Vincent F. Russo |
Signatures: A Language Extension for Improving Type Abstraction and Subtype Polymorphism in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 25(8), pp. 863-889, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers |
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1995, Austin, Texas, USA, October 15-19, 1995., pp. 156-168, 1995, ACM, 0-89791-703-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings, pp. 32-46, 1995, Springer, 3-540-59048-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Di Cosmo, Adolfo Piperno |
Expanding Extensional Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings, pp. 139-153, 1995, Springer, 3-540-59048-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Silvia Clerici, Rosa M. Jiménez, Fernando Orejas |
Class-Sort Polymorphism in GLIDER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 143-160, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Mark P. Jones |
Functional Programming with Overloading and Higher-Order Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Functional Programming ![In: Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text, pp. 97-136, 1995, Springer, 3-540-59451-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Richard Connor 0001, Dharini Balasubramaniam, Ronald Morrison |
Investigating Extension Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages (DBPL-5), Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, 6-8 September 1995, pp. 3, 1995, Springer, 3-540-76086-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
16 | Ryu Hasegawa |
Categorical Data Types in Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 4(1), pp. 71-109, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Carl Ponder, Bill Bush |
Polymorphism considered harmful. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 19(2), pp. 35-37, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 22(13), pp. 2694-2702, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Suad Alagic |
F-Bounded Polymorphism for Database Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
East/West Database Workshop ![In: East/West Database Workshop, Proceedings of the Second International East/West Database Workshop, Klagenfurt, Austria, 25-28 September 1994, pp. 125-137, 1994, Springer, 3-540-19946-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Ryan Stansifer, Dan Wetklow |
Type reconstruction for coercion polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1994 ACM Symposium on Applied Computing, SAC'94, Phoenix, AZ, USA, March 6-8, 1994, pp. 420-424, 1994, ACM, 0-89791-647-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Edmund P. Robinson, Giuseppe Rosolini |
Reflexive Graphs and Parametric Polymorphism ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 364-371, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Ole Agesen |
Constraint-Based Type Inference and Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings, pp. 78-100, 1994, Springer, 3-540-58485-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Mark P. Jones |
ML Typing, Explicit Polymorphism and Qualified Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings, pp. 56-75, 1994, Springer, 3-540-57887-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Dinesh Katiyar, David C. Luckham, John C. Mitchell |
Polymorphism and Subtyping in Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Interface Definition Languages ![In: Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994, pp. 22-34, 1994, ACM Press. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Vasco Thudichum Vasconcelos |
Predicative Polymorphism in Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings, pp. 425-437, 1994, Springer, 3-540-58184-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Martín Abadi, Luca Cardelli, Pierre-Louis Curien |
Formal Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 121(1&2), pp. 9-58, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Peter J. Freyd |
Structural Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 115(1), pp. 107-129, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Fairouz Kamareddine, Ewan Klein |
Polymorphism, Type containment and Nominalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 2(3), pp. 171-215, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Mark P. Jones |
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 52-64, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin C. Pierce |
Intersection Types and Bounded Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings, pp. 346-360, 1993, Springer, 3-540-56517-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Gordon D. Plotkin, Martín Abadi |
A Logic for Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings, pp. 361-375, 1993, Springer, 3-540-56517-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | My Hoang, John C. Mitchell, Ramesh Viswanathan |
Standard ML-NJ weak polymorphism and imperative constructs ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 15-25, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Martín Abadi, Luca Cardelli, Pierre-Louis Curien |
Formal Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 157-170, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | John C. Reynolds |
An Introduction to Logical Relations and Parametric Polymorphism - Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 155-156, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Martin Emms |
Parsing with polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL ![In: Sixth Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference, 21-23 April 1993, Utrecht, The Netherlands, pp. 120-129, 1993, The Association for Computer Linguistics, 90-5434-014-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Jin Song Dong, Roger Duke |
Class Union and Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (12/9) ![In: Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, Melbourne 1993. Incorporating the proceedings of Tools 9, Sydney 1992, pp. 181-190, 1993, Prentice Hall, 0-13-124512-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Giuseppe Castagna |
F&<=: integrating parametric and "ad hoc" second order polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August - 1 September 1993, pp. 338-358, 1993, Springer, 3-540-19853-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Carl Ponder, Bill Bush |
Polymorphism considered harmful. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 27(6), pp. 76-79, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Harry G. Mairson |
Quantifier Elimination and Parametric Polymorphism in Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 2(2), pp. 213-226, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Andrea Asperti, Simone Martini 0001 |
Categorical Models of Polymorphism ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 99(1), pp. 1-79, July 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Kim B. Bruce, John C. Mitchell |
PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 19-22, 1992, pp. 316-327, 1992, ACM Press, 0-89791-453-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Injun Choi, Michael V. Mannino |
Graph interpretation of methods: a unifying framework for polymorphism in object-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPS Messenger ![In: OOPS Messenger 2(1), pp. 38-54, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | David Charles McCarty |
Polymorphism and Apartness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 32(4), pp. 513-532, 1991. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 19(1), pp. 194, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 19(13), pp. 3760, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 19(13), pp. 3507-3510, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 19(1), pp. 200, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 19(1), pp. 196, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | S. Todd, S. L. Naylor |
Dinucleotide repeat polymorphism in the human surfactant-associated protein 3 gene (SFTP3). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 19(13), pp. 3756, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 19(13), pp. 3759, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | S. Todd, S. L. Naylor |
Dinucleotide repeat polymorphism in the human tubulin alpha 1 (testis specific) gene (TUBA1). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 19(13), pp. 3755, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | W. Poller, J. P. Faber, K. Olek |
Sequence polymorphism in the human alpha-2-macroglobulin (A2M) gene. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 19(1), pp. 198, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 19(13), pp. 3754, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|