Search results for "polymorphism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	M. H. Polymeropoulos, H. Xiao, D. S. Rath, C. R. Merril	Dinucleotide repeat polymorphism at the human non-histone chromosomal protein HMG14 gene.	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	P. J. McAlpine, M. Dickson, C. Guy, A. Wiens, David M. Irwin, R. T. MacGillivray	Polymorphism detected by multiple RENS in the human coagulation factor II (F2) gene.	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	P. S. Ganly, P. H. Rabbitts	Polymerase chain reaction (PCR) for detection of MspI polymorphism at the D3S2 locus.	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	G. F. Xu, L. Nelson, P. O'Connell, R. White	An Alu polymorphism intragenic to the neurofibromatosis type 1 gene (NF1).	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	P. S. Ganly, P. H. Rabbitts	Polymerase chain reaction (PCR) for detection of RsaI polymorphism at the D3S32 locus.	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	M. H. Polymeropoulos, H. Xiao, D. S. Rath, C. R. Merril	Tetranucleotide repeat polymorphism at the human aromatase cytochrome P- 450 gene (CYP19).	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	P. S. Ganly, P. H. Rabbitts	Polymerase chain reaction (PCR) for detection of MspI polymorphism at the D3S30 locus.	Nucleic Acids Res.	1991	DBLP DOI BibTeX RDF
16	Bernd J. Krämer	A sort of parametric polymorphism for algebraic specifications.	J. Syst. Softw.	1991	DBLP DOI BibTeX RDF
16	John Yen, Hsiao-Lei Juang, Robert M. MacGregor	Using Polymorphism to Improve Expert System Maintainability.	IEEE Expert	1991	DBLP DOI BibTeX RDF
16	Ronald Morrison, Alan Dearle, Richard C. H. Connor, Alfred L. Brown	An Ad Hoc Approach to the Implementation of Polymorphism.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	Napier88
16	Daniel Leivant	Finitely Stratified Polymorphism	Inf. Comput.	1991	DBLP DOI BibTeX RDF
16	Alfons Kemper, Guido Moerkotte, Hans-Dirk Walter, Andreas Zachmann	GOM: A Strongly Typed Persistent Object Model With Polymorphism.	BTW	1991	DBLP DOI BibTeX RDF
16	Shail Aditya, Rishiyur S. Nikhil	Incremental Polymorphism.	FPCA	1991	DBLP DOI BibTeX RDF
16	Michael Kifer, James Wu	A First-Order Theory of Types and Polymorphism in Logic Programming	LICS	1991	DBLP DOI BibTeX RDF
16	Ryu Hasegawa	Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties.	TACS	1991	DBLP DOI BibTeX RDF
16	Elana D. Granston, Vincent F. Russo	Signature-Based Polymorphism for C++.	C++ Conference	1991	DBLP BibTeX RDF
16	Wesley Phoa	Two Results on Set-Theoretic Polymorphism.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
16	Zhenyu Qian	Extensions of order-sorted algebraic specifications: parameterization, higher-order functions and polymorphism.		1991	RDF
16	Stephen Blott	An approach to overloading with polymorphism.		1991	RDF
16	Richard C. H. Connor	Types and polymorphism in persistent programming systems.		1991	RDF
16	E. S. Bainbridge, Peter J. Freyd, Andre Scedrov, Philip J. Scott	Functorial Polymorphism.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
16	Oscar de la Calle, Jordi Yagüe, Antoni Gaya, Matilde Romero, Jordi Vives	Biallelic Bgl II DNA polymorphism of the human p53 oncogene.	Nucleic Acids Res.	1990	DBLP DOI BibTeX RDF
16	R. Ghosh-Roy	Conjunction-Type Standard ML Polymorphism.	LISP Symb. Comput.	1990	DBLP BibTeX RDF
16	F. Warren Burton	Type Extension Through Polymorphism.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
16	R. Ghosh-Roy	An Extended Type Generalization of Standard ML Polymorphism (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	ML
16	Edmund Robinson, Giuseppe Rosolini	Polymorphism, Set Theory, and Call-by-Value	LICS	1990	DBLP DOI BibTeX RDF
16	Martín Abadi, Gordon D. Plotkin	A Per Model of Polymorphism and Recursive Types	LICS	1990	DBLP DOI BibTeX RDF
16	Daniel Leivant	Discrete Polymorphism.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
16	Tobias Nipkow	Higher-Order Unification, Polymorphism, and Subsorts (Extended Abstract).	CTRS	1990	DBLP DOI BibTeX RDF
16	Tag Gon Kim	The role of polymorphism in class evolution in the DEVS-scheme environment.	WSC	1990	DBLP DOI BibTeX RDF
16	Kevin B. Kenny, Kwei-Jay Lin	Implementing real-time systems using performance polymorphism.	COMPSAC	1990	DBLP DOI BibTeX RDF
16	Kevin B. Kenny, Kwei-Jay Lin	Structuring Large Real-Time Systems with Performance Polymorphism.	RTSS	1990	DBLP DOI BibTeX RDF
16	Kevin B. Kenny	Structuring real-time systems using performance polymorphism		1990	RDF
16	Peter Grogono, Anne Bennett	Polymorphism and type checking in object-oriented languages.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
16	Thierry Coquand, Carl A. Gunter, Glynn Winskel	Domain Theoretic Models of Polymorphism	Inf. Comput.	1989	DBLP DOI BibTeX RDF
16	Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell	F-Bounded Polymorphism for Object-Oriented Programming.	FPCA	1989	DBLP DOI BibTeX RDF
16	Atsushi Ohori	A Simple Semantics for ML Polymorphism.	FPCA	1989	DBLP DOI BibTeX RDF	ML
16	Daniel Leivant	Stratified Polymorphism (Extended Summary)	LICS	1989	DBLP DOI BibTeX RDF
16	José Meseguer 0001	Relating Models of Polymorphism.	POPL	1989	DBLP DOI BibTeX RDF
16	Val Tannen, Thierry Coquand	Extensional Models for Polymorphism.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
16	Ronald Morrison, Alfred L. Brown, Raymund Carrick, Richard C. H. Connor, Alan Dearle, Malcolm P. Atkinson 0001	Polymorphism, persistence and software re-use in a strongly typed object-oriented environment.	Softw. Eng. J.	1987	DBLP DOI BibTeX RDF
16	L. Tikka, K. Roiko, R. Soininen, D. J. Prockop, K. Tryggvason	A HindIII polymorphism in the 3' end of the human alpha 1(IV) collagen gene.	Nucleic Acids Res.	1987	DBLP DOI BibTeX RDF
16	N. K. Hayward, D. J. Nancarrow, George I. Bell	A Taq I polymorphism for the human transforming growth factor alpha gene (TGFA).	Nucleic Acids Res.	1987	DBLP DOI BibTeX RDF
16	H. H. Hobbs, V. Esser, D. W. Russell	AvaII polymorphism in the human LDL receptor gene.	Nucleic Acids Res.	1987	DBLP DOI BibTeX RDF
16	Cynthia Guzzo, Mark G. Weiner, Eric Rappaport, Paul LaRocco, Saul Surrey, Mortimer Poncz, Elias Schwartz	An Eco R1 polymorphism of a human platelet factor 4 (PF4) gene.	Nucleic Acids Res.	1987	DBLP DOI BibTeX RDF
16	Nicholas P. Anagnou, Stylianos E. Antonarakis, S. J. O'Brien, Arthur W. Nienhuis	A novel form of human polymorphism involving the hDHFR-psi 1 pseudogene identifies three RFLPs.	Nucleic Acids Res.	1987	DBLP DOI BibTeX RDF
16	Ian Toyn, Alan J. Dix, Colin Runciman	Performance polymorphism.	FPCA	1987	DBLP DOI BibTeX RDF
16	Val Tannen, Albert R. Meyer	Polymorphism is conservative over simple types (Preliminary Report)	LICS	1987	DBLP BibTeX RDF
16	Val Tannen, Thierry Coquand	Extensional Models for Polymorphism.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
16	Andrew M. Pitts	Polymorphism is Set Theoretic, Constructively.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
16	R. Goldstein, J. Gruhn, F. C. Arnett, M. Duvic	A frequent polymorphism of the complement component C4 gene.	Nucleic Acids Res.	1986	DBLP DOI BibTeX RDF
16	Daniel H. H. Ingalls	A Simple Technique for Handling Multiple Polymorphism.	OOPSLA	1986	DBLP DOI BibTeX RDF
16	David M. Harland, Martyn W. Szyplewski, John B. Wainwright	An alternative view of polymorphism.	ACM SIGPLAN Notices	1985	DBLP DOI BibTeX RDF
16	Luca Cardelli, Peter Wegner	On Understanding Types, Data Abstraction, and Polymorphism.	ACM Comput. Surv.	1985	DBLP DOI BibTeX RDF
16	Rishiyur S. Nikhil	Practical Polymorphism.	FPCA	1985	DBLP DOI BibTeX RDF
16	Thomas Letschert	Type Inference in the Presence of Overloading, Polymorphism and Coercions.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
16	John C. Reynolds	Polymorphism is not Set-Theoretic.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
16	Mario Coppo	On the Semantics of Polymorphism.	Acta Informatica	1983	DBLP DOI BibTeX RDF
16	John C. Reynolds	Types, Abstraction and Parametric Polymorphism.	IFIP Congress	1983	DBLP BibTeX RDF
16	David C. J. Matthews	Programming language design with polymorphism.		1983	RDF
16	Robin Milner	A Theory of Type Polymorphism in Programming.	J. Comput. Syst. Sci.	1978	DBLP DOI BibTeX RDF
16	Alan J. Demers, James E. Donahue, Glenn Skinner	Data Types as Values: Polymorphism, Type-Checking, Encapsulation.	POPL	1978	DBLP DOI BibTeX RDF
14	Philip O'Kane, Sakir Sezer, Kieran McLaughlin	Obfuscation: The Hidden Malware.	IEEE Secur. Priv.	2011	DBLP DOI BibTeX RDF	packer, metamorphism, computer security, polymorphism, malware, obfuscation
14	James Laird	Game Semantics for a Polymorphic Programming Language.	LICS	2010	DBLP DOI BibTeX RDF	general references, genericity, polymorphism, game semantics
14	Karl Mazurak, Jianzhou Zhao, Steve Zdancewic	Lightweight linear types in system fdegree.	TLDI	2010	DBLP DOI BibTeX RDF	type systems, polymorphism, linear logic
14	William Harrison, David Lievens, Fabio Simeoni	Safer typing of complex API usage through Java generics.	PPPJ	2009	DBLP DOI BibTeX RDF	family polymorphism, interface-based programming, programming patterns, generics, programming languages
14	Barbara Petit	A Polymorphic Type System for the Lambda-Calculus with Constructors.	TLCA	2009	DBLP DOI BibTeX RDF	strong normalisation, pattern matching, polymorphism, lambda-calculus
14	William C. Kreahling	Using computer graphics to explore object oriented concepts using C.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	?????, inheritance, polymorphism
14	Levent Erkök, John Matthews	Pragmatic equivalence and safety checking in Cryptol.	PLPV	2009	DBLP DOI BibTeX RDF	sat/smt solving, size polymorphism, formal methods, cryptography, theorem proving, equivalence checking
14	Andrei Doncescu, Baptiste Tauzain, Nabil Kabbaj	Machine Learning Applied to BRCA1 Hereditary Breast Cancer Data.	AINA Workshops	2009	DBLP DOI BibTeX RDF	BRCA1, Heredity, polymorphism, inductive logic programming, breast cancer
14	Minzhu Xie, Jianxin Wang 0001	An Improved (and Practical) Parameterized Algorithm for the Individual Haplotyping Problem MFR with Mate-Pairs.	Algorithmica	2008	DBLP DOI BibTeX RDF	SNP (single-nucleotide polymorphism), NP-hardness, Haplotype, Genotype, Parameterized algorithm
14	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Closing the stage: from staged code to typed closures.	PEPM	2008	DBLP DOI BibTeX RDF	multistage programming, mutable state and control effects, type abstraction, closures, parametric polymorphism
14	Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst	Enforcing reference and object immutability in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	IGJ, java, verification, compiler, case study, type system, polymorphism, assignable, bug finding, flow-sensitive, readonly, immutability, mutable, javac
14	Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup	Runtime concepts for the C++ standard template library.	SAC	2008	DBLP DOI BibTeX RDF	runtime polymorphism, C++, generic programming, standard template library
14	Minzhu Xie, Jianxin Wang 0001, Jianer Chen	A Practical Parameterized Algorithm for the Individual Haplotyping Problem MLF.	TAMC	2008	DBLP DOI BibTeX RDF	SNP (single-nucleotide polymorphism), MLF (Minimum Letter Flip), NP-hardness, haplotype, parameterized algorithm
14	Nicholas E. Hardison, Theresa J. Fanelli, Scott M. Dudek, David M. Reif, Marylyn D. Ritchie, Alison A. Motsinger-Reif	A balanced accuracy fitness function leads to robust analysis using grammatical evolution neural networks in the case of class imbalance.	GECCO	2008	DBLP DOI BibTeX RDF	gene-gene interactions, neural networks, grammatical evolution, single nucleotide polymorphism
14	Franck Binard, Amy P. Felty	Genetic programming with polymorphic types and higher-order functions.	GECCO	2008	DBLP DOI BibTeX RDF	genetic programming, polymorphism, types, lambda calculus
14	Yukiyoshi Kameyama, Takuo Yonezawa	Typed Dynamic Control Operators for Delimited Continuations.	FLOPS	2008	DBLP DOI BibTeX RDF	Dynamic Control Operator, Type System, Polymorphism, Expressivity, Delimited Continuation, CPS Translation
14	Minzhu Xie, Jianxin Wang 0001, Jianer Chen	A Practical Exact Algorithm for the Individual Haplotyping Problem MEC.	BMEI (1)	2008	DBLP DOI BibTeX RDF	SNP (single-nucleotide polymorphism), MEC (Minimum Error Correction), NP-hardness, haplotype
14	Libor Barto, Marcin Kozik, Todd Niven	Graphs, polymorphisms and the complexity of homomorphism problems.	STOC	2008	DBLP DOI BibTeX RDF	computational complexity, polymorphism, constraint satisfaction problem, universal algebra, graph homomorphism
14	Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli	Refinement preserving approximations for the design and verification of heterogeneous systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization
14	Eric Filiol, Grégoire Jacob, Mickaël Le Liard	Evaluation methodology and theoretical model for antiviral behavioural detection strategies.	J. Comput. Virol.	2007	DBLP DOI BibTeX RDF	Black-box analysis, Metamorphism, Detection model, Polymorphism, Malware, Malware detection, Antivirus
14	Eric Filiol	Formalisation and implementation aspects of K -ary (malicious) codes.	J. Comput. Virol.	2007	DBLP DOI BibTeX RDF	Cohen model, k-ary malware, Detection problem, Metamorphism, Code interaction, Polymorphism
14	Paul Kinnucan, Pieter J. Mosterman	A graphical variant approach to object-oriented modeling of dynamic systems.	SCSC	2007	DBLP BibTeX RDF	physical systems modeling, simulation software engineering, embedded systems, inheritance, polymorphism, object-oriented modeling, system dynamics
14	Dimitris Grammenos, Anthony Savidis, Constantine Stephanidis	Unified Design of Universally Accessible Games.	HCI (7)	2007	DBLP DOI BibTeX RDF	Universally Accessible Games, interaction design methods, polymorphism, Design for All
14	Jonathan Edwards	No ifs, ands, or buts: uncovering the simplicity of conditionals.	OOPSLA	2007	DBLP DOI BibTeX RDF	refactoring, visual programming, polymorphism, decision tables, control structures
14	Douglas P. Gregor, Jaakko Järvi	Variadic templates for C++.	SAC	2007	DBLP DOI BibTeX RDF	template metaprogramming, variadic arguments, parametric polymorphism, C++ templates
14	Craig B. Zilles	Accordion arrays.	ISMM	2007	DBLP DOI BibTeX RDF	Java, compression, memory management, polymorphism, array, character, unicode
14	Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon	A very modal model of a modern, major, general type system.	POPL	2007	DBLP DOI BibTeX RDF	impredicative polymorphism, mutable references, recursive types, Kripke models
14	Yongyan Yang, Yili Yin, Jun Su	Business Process Depicting and Analyzing with a Lightweight Approach: A Case Study.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Abstracted actions, Business process, Hierarchy, Polymorphism, Case studies, Enumeration
14	Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion	A Classification of Viruses Through Recursion Theorems.	CiE	2007	DBLP DOI BibTeX RDF	iteration theorem, polymorphism, propagation, Computer viruses, recursion theorem
14	Heribert Vollmer	Computational Complexity of Constraint Satisfaction.	CiE	2007	DBLP DOI BibTeX RDF	computational complexity, constraint satisfaction, polymorphism, clone, Galois connection, satisfiability problems
14	Andrew P. Black, Norman C. Hutchinson, Eric Jul, Henry M. Levy	The development of the Emerald programming language.	HOPL	2007	DBLP DOI BibTeX RDF	Eden, Emerald, Washington, call-by-move, object mobility, remote object invocation, type conformity, mobility, object-oriented programming, polymorphism, distributed programming, remote procedure call, abstract types
14	Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi	Toward Open-World Software: Issue and Challenges.	Computer	2006	DBLP DOI BibTeX RDF	open-world software, web services, software engineering, grid computing, autonomic computing, polymorphism, middleware systems
14	Danil Shopyrin	Multimethods in C++ using recursive deferred dispatching.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	template metaprogramming, C++, polymorphism, multimethods, multiple dispatch, reusable libraries
14	François Pottier, Nadji Gauthier	Polymorphic typed defunctionalization and concretization.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization
14	Douglas P. Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine	Concepts: linguistic support for generic programming in C++.	OOPSLA	2006	DBLP DOI BibTeX RDF	constrained generics, generic programming, concepts, parametric polymorphism, C++0x, C++ templates
14	Philip Wadler	Faith, evolution, and programming languages: from Haskell to Java to links.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	dynamic and static typing, Java, generics, Haskell, links, type classes, parametric polymorphism
14	James Sasitorn, Robert Cartwright	Efficient first-class generics on stock Java virtual machines.	SAC	2006	DBLP DOI BibTeX RDF	Java implementation, custom class loader, first-class generics, type erasure, parametric polymorphism
14	Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno	A polymorphic modal type system for lisp-like multi-staged languages.	POPL	2006	DBLP DOI BibTeX RDF	let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference