The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for polymorphism with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1978-1986 (16) 1987-1988 (20) 1989 (17) 1990 (23) 1991 (38) 1992-1993 (38) 1994 (23) 1995 (32) 1996 (32) 1997 (28) 1998 (28) 1999 (55) 2000 (47) 2001 (41) 2002 (39) 2003 (61) 2004 (78) 2005 (75) 2006 (73) 2007 (74) 2008 (90) 2009 (64) 2010 (36) 2011 (30) 2012-2013 (41) 2014 (26) 2015 (24) 2016 (27) 2017 (25) 2018 (17) 2019 (7)
Publication types (Num. hits)
article(369) incollection(2) inproceedings(842) phdthesis(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1365 occurrences of 650 keywords

Results
Found 1225 publication records. Showing 1225 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
81Hang Zhou 0002, Zhiqiu Huang, Yi Zhu Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL. Search on Bibsonomy ICYCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
71Lutz Schröder, Till Mossakowski, Christoph Lüth Type Class Polymorphism in an Institutional Framework. Search on Bibsonomy WADT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
71Erik Ernst Family Polymorphism. Search on Bibsonomy ECOOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
67Dinesh Kumar Saini Testing polymorphism in object oriented systems for improving software quality. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software testing, quality, inheritance, polymorphism, object orientated systems
67Hidemitsu Naya, Fumio Narisawa, Takanori Yokoyama, Keiichiro Ohkawa, Matsuo Amano Object-Oriented Development Based on Polymorphism Patterns and Optimization to Reduce Executable Code Size. Search on Bibsonomy TOOLS (25) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF optimization, embedded system, object-oriented, polymorphism
67Ole Agesen The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism. Search on Bibsonomy ECOOP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF concrete types, inheritance, polymorphism, type inference, Self, abstract types
62Catherine Dubois, François Rouaix, Pierre Weis Generic Polymorphism. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF debugging, genericity, dynamics, ML, ML, polymorphism, functional language, type checking, Caml, ad-hoc polymorphism
62Atsushi Ohori, Nobuaki Yoshida Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
62Ran Rinat, Menachem Magidor, Scott F. Smith 0001 Correspondence Polymorphism for Object-Oriented Languages. Search on Bibsonomy OOPSLA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
57Guijun Wang, Allen L. Ambler Invocation Polymorphism. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF invocation polymorphism, general specification, intelligent analysis process, visual interactive programming style, formal specification, knowledge based systems, programming languages, visual programming, visual programming, visual languages, ambiguities, programming theory, interactive programming, specification refinement
52Alexander J. Summers, Steffen van Bakel Approaches to Polymorphism in Classical Sequent Calculus. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Suad Alagic Type-Checking OQL Queries In the ODMG Type Systems. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ODMG standard, Java, C++, type systems, parametric polymorphism, OQL
48Haruo Hosoya, Alain Frisch, Giuseppe Castagna Parametric polymorphism for XML. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF XML, polymorphism, subtyping, tree automata
48Henning Makholm, J. B. Wells Type inference, principal typings, and let-polymorphism for first-class mixin modules. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF mixin modules, record concatenation, row unification, type systems, polymorphism
48Cosmin E. Oancea, Stephen M. Watt Parametric polymorphism for software component architectures. Search on Bibsonomy OOPSLA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF antiunification, software component architecture, generics, templates, parametric polymorphism
48Brian Cabana, Suad Alagic, Jeff Faulkner Parametric polymorphism for Java: is there any hope in sight? Search on Bibsonomy SIGPLAN Notices The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java core reflection, class files, class objects, generics, Java virtual machine, parametric polymorphism, loading
48Luigi Pomante Exploiting polymorphism in HW design: a case study in the ATM domain. Search on Bibsonomy CODES+ISSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF design, ATM, synthesis, polymorphism, SystemC
48Geoffrey Washburn, Stephanie Weirich Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF modal type system, parametricity, higher-order abstract syntax, parametric polymorphism, catamorphism
48Rong Peng, Jingsong Cui, Shihong Chen The Implement Mechanism and Efficiency Analysis of Multiinheritance and Polymorphism. Search on Bibsonomy TOOLS (24) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Multiinheritance Polymorphism FastTable
43Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones FPH: first-class polymorphism for Haskell. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF higher-rank types, impredicativity, type inference
43Jean-François Couchot, Stéphane Lescuyer Handling Polymorphism in Automated Deduction. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Aleksandar Nanevski, Greg Morrisett, Lars Birkedal Polymorphism and separation in hoare type theory. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type theory, hoare logic, separation logic
43Rasmus Ejlers Møgelberg Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism. Search on Bibsonomy ICALP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Atsushi Igarashi, Chieri Saito, Mirko Viroli Lightweight Family Polymorphism. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine Concept-Controlled Polymorphism. Search on Bibsonomy GPCE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
43Joseph Bergin Teaching polymorphism with elementary design patterns. Search on Bibsonomy OOPSLA Companion The full citation details ... 2003 DBLP  DOI  BibTeX  RDF design patterns, teaching
43Erik Ernst, David H. Lorenz Aspects and polymorphism in AspectJ. Search on Bibsonomy AOSD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
43Tina Yu Polymorphism and Genetic Programming. Search on Bibsonomy EuroGP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
43Claudia Pons, Maximo Prieto, Luis Olsina A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems. Search on Bibsonomy APAQS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
43Jose Solorzano, Suad Alagic Parametric Polymorphism for Java: A Reflective Solution. Search on Bibsonomy OOPSLA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF language design and implementation, Java, reflection, persistence
43Robert Harper 0001, J. Gregory Morrisett Compiling Polymorphism Using Intensional Type Analysis. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF ML
43Xavier Leroy Polymorphism by Name for References and Continuations. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF ML
43David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro Exceeding the Limits of Polymorphism in Database Programming Languages. Search on Bibsonomy EDBT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
42Thomas Ball, Todd D. Millstein, Sriram K. Rajamani Polymorphic predicate abstraction. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF polymorphism, Software model checking, predicate abstraction
42Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping. Search on Bibsonomy ECOOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF semantic specifications, Object-oriented, logic programming, type systems, inheritance, polymorphism, subtyping, unification, deduction
38Daan Leijen Flexible types: robust type inference for first-class polymorphism. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF first-class polymorphism, system f, mlf
38Daan Leijen HMF: simple type inference for first-class polymorphism. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF first-class polymorphism, type inference
38Søren B. Lassen, Paul Blain Levy Typed Normal Form Bisimulation for Parametric Polymorphism. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF LTS, bisimulation, parametric polymorphism, typed lambda calculus
38Huu-Duc Nguyen, Atsushi Ohori Compiling ML polymorphism with explicit layout bitmap. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type-directed compilation, garbage collection, memory management, polymorphism
38Joseph Bergin, Eugene Wallingford, Michael E. Caspersen, Michael Goldweber, Michael Kölling Teaching polymorphism early. Search on Bibsonomy ITiCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF first course, object-oriented programming, polymorphism
38Jie S. Hu, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Hendra Saputra, Wei Zhang 0002 Compiler-directed cache polymorphism. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF cache polymorphism, compilers, energy consumption, embedded software, data reuse, cache locality
38Andrzej S. Murawski, C.-H. Luke Ong Evolving Games and Essential Nets for Affine Polymorphism. Search on Bibsonomy TLCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Full Completeness, Polymorphism, Linear Logic, Game Semantics
38Tse-Min Lin, John A. McDermid (True) Polymorphism in SPARK2000. Search on Bibsonomy Ada-Europe The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Ada, Object-Oriented Programming, Polymorphism, SPARK
38Karl-Filip Faxén Polyvariance, Polymorphism and Flow Analysis. Search on Bibsonomy LOMAPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF polyvariance, constraints, type systems, polymorphism, functional languages, Flow analysis, inference algorithms
38Tetsuo Kamina, Tetsuo Tamai Lightweight scalable components. Search on Bibsonomy GPCE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF FGJ, pamily polymorphism, scalable java, type parameter members, parametric polymorphism
38Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos Constraint-set satisfiability for overloading. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF constrained polymorphism, constraint-set satisfiability, overloading, type constraints, ad-hoc polymorphism
38Didier Le Botlan, Didier Rémy MLF: raising ML to the power of system F. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF first-class polymorphism, second-order polymorphism, type annotations, ML, type inference, system F
38A. V. Dzyabchenko, Valery N. Agafonov Computer-aided design of crystalline drugs. Search on Bibsonomy HICSS (5) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF crystal structure, crystalline drugs, crystal structure prediction, minimum-energy packings, observed space-group occurrence factors, crystal symmetry, multidimensional crystal-structure parameter space, cell parameters, rigid-body molecular parameters, accelerated convergence method, lattice energy, multi-step structure optimization technique, Packing of Molecules in Crystal, PMC program, implicit symmetry, CRYCOM, crystal comparison program, computational study, crystal structure polymorphism piracetam, metastable form, searching, CAD, computer-aided design, optimisation, polymorphism, chemistry, chemistry computing, search region
38Robert Law Using student blogs for documentation in software development projects. Search on Bibsonomy ITiCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38Dan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup Minimizing dependencies within generic classes for faster and smaller programs. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generalized hoisting, scary assignments and initializations, generics, templates
38Jason Maassen, Rob van Nieuwpoort, Ronald Veldema, Henri E. Bal, Thilo Kielmann, Ceriel J. H. Jacobs, Rutger F. H. Hofman Efficient Java RMI for parallel programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF performance, Communication, remote method invocation
38Tiejun Wang, Scott F. Smith 0001 Precise Constraint-Based Type Inference for Java. Search on Bibsonomy ECOOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Byron Weber Becker, Richard Rasala, Joseph Bergin, Christine Shannon, Eugene Wallingford Polymorphic panelists. Search on Bibsonomy SIGCSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Ralph Frisbie, Richard Hendrickson, Michael Metcalf The F Programming Language. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF FCL
38Hanne Riis Nielson, Flemming Nielson, Torben Amtoft Polymorphic Subtyping for Effect Analysis: The Static Semantics. Search on Bibsonomy LOMAPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
38Ryan Stansifer Type Inference with Subtypes. Search on Bibsonomy POPL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
38Daniel Leivant Structural Semantics for Polymorphic Data Types. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
34Neha Rungta, Eric G. Mercer Guided model checking for programs with polymorphism. Search on Bibsonomy PEPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF error discovery, heuristics, software model checking, guided search
34Anjum Iqbal, Mohd Aizaini Maarof Polymorphism and Danger Susceptibility of System Call DASTONs. Search on Bibsonomy ICARIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Atanas Rountev, Ana Milanova, Barbara G. Ryder Fragment Class Analysis for Testing of Polymorphism in Java Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented Models. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Jun Furuse Extensional Polymorphism by Flow Graph Dispatching. Search on Bibsonomy APLAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Atanas Rountev, Ana Milanova, Barbara G. Ryder Fragment Class Analysis for Testing of Polymorphism in Java Software. Search on Bibsonomy ICSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34David Byers, Mariam Kamkar Static Slicing and Parametric Polymorphism. Search on Bibsonomy SCAM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Jörgen Gustavsson, Josef Svenningsson A Usage Analysis with Bounded Usage Polymorphism and Subtyping. Search on Bibsonomy IFL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Vassily Litvinov Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System. Search on Bibsonomy OOPSLA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Stefan Kahrs First-Class Polymorphism for ML. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
33Wolfgang Jeltsch Generic record combinators with static type checking. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction
33Lars Birkedal, Kristian Støvring, Jacob Thamsborg Relational parametricity for references and recursive types. Search on Bibsonomy TLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF general references, impredicative polymorphism, denotational semantics, recursive types, relational parametricity, possible world semantics
33Giuseppe Castagna, Kim Nguyen 0001 Typed iterators for XML. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF XML, polymorphism, iterators, subtyping
33Adriaan Moors, Frank Piessens, Martin Odersky Generics of a higher kind. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF higher-kinded types, higher-order genericity, type constructor polymorphism, Scala
33James H. Cross II, T. Dean Hendrix, David A. Umphress, Larry A. Barowski Exploring accessibility and visibility relationships in java. Search on Bibsonomy ITiCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF jGRASP, object viewers, visualization, object-oriented programming, inheritance, polymorphism
33Thomas VanDrunen Java interfaces in CS 1 textbooks. Search on Bibsonomy OOPSLA Companion The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interfaces, polymorphism, CS 1
33Swaroop Sridhar, Jonathan S. Shapiro Type inference for unboxed types and first class mutability. Search on Bibsonomy PLOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF BitC, polymorphism, type inference, mutability
33Daan Leijen, Andres Löh Qualified types for MLF. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF higher-rank polymorphism, impredicativity, qualified types, MLF
33Manish Vachharajani, Neil Vachharajani, Sharad Malik, David I. August Facilitating reuse in hardware models with enhanced type inference. Search on Bibsonomy CODES+ISSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF component overloading, polymorphism, type inference, component reuse, liberty simulation environment (LSE)
33Axel Schmolitzky "Objects first, interfaces next" or interfaces before inheritance. Search on Bibsonomy OOPSLA Companion The full citation details ... 2004 DBLP  DOI  BibTeX  RDF type abstraction, java, interfaces, pedagogy, inheritance, polymorphism, subtyping, objects-first
33Brian P. Dunphy, Uday S. Reddy Parametric Limits. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Parametric polymorphism, Relational Parametricity, Categorical models, Fibrations
33Atsushi Ohori, Kiyoshi Yamatodani An interoperable calculus for external object access. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF record polymorphism, Java, interoperability, ML, type inference, object-oriented language
33Stephanie Weirich Type-safe cast: functional pearl. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF intensional type analysis, Haskell, type classes, dynamic typing, PEARL, ad-hoc polymorphism
33Suad Alagic, Jose Solorzano, David Gitchell Orthogonal to the Java Imperative. Search on Bibsonomy ECOOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF F-bounded polymorphism, Java Virtual Machine, Declarative languages, orthogonal persistence
33Lei Zhou, Elke A. Rundensteiner, Kang G. Shin Schema Evolution of an Object-Oriented Real-Time Database System for Manufacturing Automation. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF envelope/letter classes, letter-class hierarchy, performance polymorphism, real-time, database, object oriented, Data model, schema evolution
33Simon Stobart, Norman Parrington, Bor-Yuan Tsai Using Extended General Statecharts to Generate Test Cases for Overloaded/Polymorphic Object-Oriented Programs: A Case Study. Search on Bibsonomy TOOLS (24) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF General Statechart, Extended General Statechart, Polymorphism, Statechart, Overloaded, State-Base Testing
30Evgeniy Vodolazskiy Second order conservative languages with a Maltsev polymorphism also have a majority polymorphism. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
30Jean-Philippe Bernardy A Theory of Parametric Polymorphism and an Application ; A formalisation of parametric polymorphism within and about dependent type-theory, and an application to property-based testing. Search on Bibsonomy 2011   RDF
30Adriaan Moors Type Constructor Polymorphism for Scala: Theory and Practice (Type constructor polymorfisme voor Scala: theorie en praktijk) ; Type Constructor Polymorphism for Scala: Theory and Practice. Search on Bibsonomy 2009   RDF
30Sabine Glesner, Karl Stroetmann 0001 Combining Inclusion Polymorphism and Parametric Polymorphism Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
29Saïda Benlarbi, Walcélio L. Melo Polymorphism Measures for Early Risk Prediction. Search on Bibsonomy ICSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF C++ programming language, software risk prediction, C++, metrics, object-oriented design, polymorphism
29Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing. Search on Bibsonomy ICSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reverse engineering, C++, C++, program understanding, polymorphism, slicing, points-to analysis, flow analysis
29Peter Buneman, Atsushi Ohori Polymorphism and Type Inference in Database Programming. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF generalized relational algebra, record calculus, object-oriented databases, inheritance, polymorphism, type inference
29Pascale Louvet, Olivier Ridoux Parametric Polymorphism for Typed Prolog and lambda-Prolog. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF second-order -Calculus, Logic programming, polymorphism, typing
29Sylvia L. Osborn The Role of Polymorphism in Schema Evolution in an Object-Oriented Database. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF polymorphic object algebra, model, object-oriented programming, database management systems, object-oriented database, database theory, polymorphism, schema evolution
28Nabil El Boustani, Jurriaan Hage Improving type error messages for generic java. Search on Bibsonomy PEPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF compilers, type checking, java generics, error reporting
28Georg Neis, Derek Dreyer, Andreas Rossberg Non-parametric parametricity. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF intensional type analysis, representation independence, type-safe cast, parametricity, step-indexed logical relations
28Eleazar Eskin Increasing Power in Association Studies by Using Linkage Disequilibrium Structure and Molecular Function as Prior Information. Search on Bibsonomy RECOMB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Didier Rémy MLF for everyone (users, implementers, and designers). Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
28Axel Schmolitzky Teaching inheritance concepts with Java. Search on Bibsonomy PPPJ The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pedagogy
28C. Barry Jay, Delia Kesner Pure Pattern Calculus. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Ling Liu, Huaikou Miao A Specification-Based Approach to Testing Polymorphic Attributes. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Jacques Garrigue Relaxing the Value Restriction. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1225 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license