Search results for "polymorphism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos	Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.	TYPES	2006	DBLP DOI BibTeX RDF
17	Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida	Genericity and the pi-calculus.	Acta Informatica	2005	DBLP DOI BibTeX RDF
17	Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine	Associated types and constraint propagation for mainstream object-oriented generics.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, Java, generics, types, generic programming, associated, constraint propagation, C#, C#
17	Oliver Pell, Wayne Luk	Resolving Quartz Overloading.	CHARME	2005	DBLP DOI BibTeX RDF
17	Ramkumar Chinchani, Eric van den Berg	A Fast Static Analysis Approach to Detect Exploit Code Inside Network Flows.	RAID	2005	DBLP DOI BibTeX RDF
17	Tobias Lindahl, Konstantinos Sagonas	TypEr: a type annotator of Erlang code.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	success typings, Erlang, subtyping, principal typings, constraint-based type inference
17	Alexander Mehler, Matthias Dehmer, Rüdiger Gleim	Towards Logical Hypertext Structure.	IICS	2004	DBLP DOI BibTeX RDF
17	François Pottier, Vincent Simonet	Information flow inference for ML.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	non-interference, Constraint-based analysis
17	Roland Carl Backhouse, Paul F. Hoogendijk	Generic Properties of Datatypes.	Generic Programming	2003	DBLP DOI BibTeX RDF
17	David Hearnden, Kerry Raymond, Jim Steel	MQL: a Powerful Extension to OCL for MOF Queries.	EDOC	2003	DBLP DOI BibTeX RDF
17	François Pottier, Vincent Simonet	Information flow inference for ML.	POPL	2002	DBLP DOI BibTeX RDF
17	Thomas P. Jensen	Types in Program Analysis.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
17	Pieter Bekaert, Geert Delanote, Frank Devos, Eric Steegmans	Specialization/Generalization in Object-Oriented Analysis: Strengthening and Multiple Partitioning.	OOIS Workshops	2002	DBLP DOI BibTeX RDF
17	Yu-Seung Ma, Yong Rae Kwon, Jeff Offutt	Inter-Class Mutation Operators for Java.	ISSRE	2002	DBLP DOI BibTeX RDF
17	Roger T. Alexander, Jeff Offutt, James M. Bieman	Syntactic Fault Patterns in OO Programs.	ICECCS	2002	DBLP DOI BibTeX RDF
17	Rogardt Heldal, John Hughes 0001	Binding-Time Analysis for Polymorphic Types.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Jörgen Gustavsson, Josef Svenningsson	Constraint Abstractions.	PADO	2001	DBLP DOI BibTeX RDF
17	Harry M. Sneed	Source Animation as a Means of Program Comprehension.	IWPC	2000	DBLP DOI BibTeX RDF	Control Flow Slicing, UML, Animation, Object-Orientation, C++, Dynamic Analysis, Concept Lattices, Sequence Diagrams, State Transition
17	Scott F. Smith 0001, Tiejun Wang	Polyvariant Flow Analysis with Constrained Types.	ESOP	2000	DBLP DOI BibTeX RDF
17	Roger T. Alexander, A. Jefferson Offutt	Criteria for Testing Polymorphic Relationships.	ISSRE	2000	DBLP DOI BibTeX RDF
17	Rowan Davies, Frank Pfenning	Intersection types and computational effects.	ICFP	2000	DBLP DOI BibTeX RDF	UML
17	Amie L. Souter, Lori L. Pollock, Dixie Hisley	Inter-Class Def-Use Analysis with Partial Class Representations.	PASTE	1999	DBLP DOI BibTeX RDF
17	Dario Colazzo, Giorgio Ghelli	Subtyping Recursive Types in Kernel Fun.	LICS	1999	DBLP DOI BibTeX RDF	type theory and type systems, kernel Fun, subtyping, recursive types
17	Eric Noulard, Nahid Emad	Object Oriented Design for Reusable Parallel Linear Algebra Software.	Euro-Par	1999	DBLP DOI BibTeX RDF	parallel code reuse, Krylov methods, OO design
17	Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells	Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract).	ICFP	1999	DBLP DOI BibTeX RDF
17	Frédéric Prost	A formalization of Static Analyses in System F.	CADE	1999	DBLP DOI BibTeX RDF
17	J. Philip Benkard	Functions and data can dance as equal partners.	APL	1999	DBLP DOI BibTeX RDF	APL
17	Benjamin M. Brosgol	Ada and the Objects.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
17	Jo Erskine Hannay	Specification Refinement with System F.	CSL	1999	DBLP DOI BibTeX RDF
17	Andrew U. Frank	One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole.	COSIT	1999	DBLP DOI BibTeX RDF	Spatial Algebras, Parameterization of Algebras, Category Theory, Spatial Data Models
17	Myles F. Barrett, Marshall E. Giguere	A Note on Covariance and Contravariance Unification.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
17	Geoffrey Smith 0001, Dennis M. Volpano	Towards an ML-Style Polymorphic Type System for C.	ESOP	1996	DBLP DOI BibTeX RDF
17	Paris C. Kanellakis, Gerd G. Hillebrand, Harry G. Mairson	An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction.	ICALP	1994	DBLP DOI BibTeX RDF
17	Fritz Henglein, Christian Mossin	Polymorphic Binding-Time Analysis.	ESOP	1994	DBLP DOI BibTeX RDF
17	Baowen Xu	PIDL / Pascal: A Pascal-oriented Program Interface Description Language And Its Applications.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Pascal
17	Giuseppe Longo	Types as Parameters.	TAPSOFT	1993	DBLP DOI BibTeX RDF
17	Harry G. Mairson	A Constructive Logic of Multiple Subtyping.	POPL	1993	DBLP DOI BibTeX RDF
17	Tobias Nipkow, Christian Prehofer	Type Checking Type Classes.	POPL	1993	DBLP DOI BibTeX RDF	Haskell
17	Paolo Di Blasio, Marco Temperini	Subtyping Inheritance in Languages for Symbolic Computation Systems.	DISCO	1993	DBLP DOI BibTeX RDF
17	QingMing Ma	Parametricity as Subtyping.	POPL	1992	DBLP DOI BibTeX RDF
17	Andrew K. Wright	Typing References by Effect Inference.	ESOP	1992	DBLP DOI BibTeX RDF
17	Suad Alagic	Toward Multiparadigm Database Interfaces.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
17	Harry G. Mairson	Deciding ML Typability is Complete for Deterministic Exponential Time.	POPL	1990	DBLP DOI BibTeX RDF	ML
17	Hans Leiß	Polymorphic Constructs in Natural and Programming Languages.	JELIA	1990	DBLP DOI BibTeX RDF
17	Stefan Kaes	Parametric Overloading in Polymorphic Programming Languages.	ESOP	1988	DBLP DOI BibTeX RDF
16	Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau	When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
16	Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das	Parametric Subtyping for Structural Parametric Polymorphism.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
16		Retraction Note: Analyzing gene polymorphism and metal folic acid interactions in neural tube defects using optimized deep recurrent neural networks.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
16	Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi	Alice or Bob?: Process polymorphism in choreographies.	J. Funct. Program.	2024	DBLP DOI BibTeX RDF
16	Nicolas Belleville, Loïc Masure	Combining Loop Shuffling and Code PolyMorphism for Enhanced AES Side-Channel Security.	COSADE	2024	DBLP DOI BibTeX RDF
16	Ende Jin, Nada Amin, Yizhou Zhang 0001	Extensible Metatheory Mechanization via Family Polymorphism.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
16	Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley	Structural Subtyping as Parametric Polymorphism.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
16	Kuen-Bang Hou (Favonia), Carlo Angiuli, Reed Mullanix	An Order-Theoretic Analysis of Universe Polymorphism.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
16	Matt D'Souza, James You, Ondrej Lhoták, Aleksandar Prokopec	TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
16		Analyzing gene polymorphism and metal folic acid interactions in neural tube defects using optimized deep recurrent neural networks.	Pers. Ubiquitous Comput.	2023	DBLP DOI BibTeX RDF
16	Linda S. Reitz, Peter C. Müller 0002, David Schnieders, Richard Dronskowski, Woon Ih Choi, Won-Joon Son, Inkook Jang, Dae Sin Kim	On the atomistic origin of the polymorphism and the dielectric physical properties of beryllium oxide.	J. Comput. Chem.	2023	DBLP DOI BibTeX RDF
16	Bozhu Chen, Xin Xu 0004	Discriminating and understanding molecular crystal polymorphism.	J. Comput. Chem.	2023	DBLP DOI BibTeX RDF
16	Chris C. R. Smith, Andrew D. Kern	disperseNN2: a neural network for estimating dispersal distance from georeferenced polymorphism data.	BMC Bioinform.	2023	DBLP DOI BibTeX RDF
16	Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley	Structural Subtyping as Parametric Polymorphism.	CoRR	2023	DBLP DOI BibTeX RDF
16	Lionel Morel, Damien Couroussé, Thomas Hiscock	Code Polymorphism Meets Code Encryption: Confidentiality and Side-Channel Protection of Software Components.	CoRR	2023	DBLP DOI BibTeX RDF
16	Edward R. Pantridge, Thomas Helmuth	Solving Novel Program Synthesis Problems with Genetic Programming using Parametric Polymorphism.	CoRR	2023	DBLP DOI BibTeX RDF
16	Hongbo Zhang, Xiang Wan, Benyou Wang	Injecting Knowledge into Biomedical Pre-trained Models via Polymorphism and Synonymous Substitution.	CoRR	2023	DBLP DOI BibTeX RDF
16	Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das	Parametric Subtyping for Structural Parametric Polymorphism.	CoRR	2023	DBLP DOI BibTeX RDF
16	Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi	Alice or Bob?: Process Polymorphism in Choreographies.	CoRR	2023	DBLP DOI BibTeX RDF
16	Redi Aditama, Zulfikar Achmad Tanjung, Victor Aprilyanto, Widyartini Made Sudania, Condro Utomo, Tony Liwang	Identification of oil palm cis-regulatory elements based on DNA free energy and single nucleotide polymorphism density.	Comput. Biol. Chem.	2023	DBLP DOI BibTeX RDF
16	Ivo Pezlar	Type Polymorphism, Natural Language Semantics, and TIL.	J. Log. Lang. Inf.	2023	DBLP DOI BibTeX RDF
16	James Laird	Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism.	FSCD	2023	DBLP DOI BibTeX RDF
16	Wenjia Ye, Bruno C. d. S. Oliveira	Pragmatic Gradual Polymorphism with References.	ESOP	2023	DBLP DOI BibTeX RDF
16	Alena Vasileva, Yegor Bugayenko 0001	Object Specialization to Partially Reduce Polymorphism of Attributes.	CSAI	2023	DBLP DOI BibTeX RDF
16	Artjoms Sinkarovs, Thomas Koopman, Sven-Bodo Scholz	Rank-Polymorphism for Shape-Guided Blocking.	FHPNC	2023	DBLP DOI BibTeX RDF
16	Adam Kiersztyn, Krystyna Kiersztyn, Grzegorz Panasiewicz, Martyna Bieniek-Kobuszewska	An Application of Fuzzy Techniques to Predict the Polymorphism of Selected Microsatellite Sequences.	ICAISC (2)	2023	DBLP DOI BibTeX RDF
16	Tom Braun, Marcel Taeumel, Eliot Miranda, Robert Hirschfeld	Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM Objects.	VMIL@SPLASH	2023	DBLP DOI BibTeX RDF
16	Edward R. Pantridge, Thomas Helmuth	Solving Novel Program Synthesis Problems with Genetic Programming using Parametric Polymorphism.	GECCO	2023	DBLP DOI BibTeX RDF
16	Joko Pebrianto Trinugroho, Alam Ahmad Hidayat, Mahmud Isnan, Bens Pardamean	Machine Learning Approach for Single Nucleotide Polymorphism Selection in Genetic Testing Results.	ICCSCI	2023	DBLP DOI BibTeX RDF
16	Arash Aghamohammadi-Sereshki, Fraser Olsen, Peter Seres, Nikolai V. Malykhin	Selective Effects of Healthy Cognitive Aging and Catechol-O-Methyl Transferase Polymorphism on Limbic White Matter Tracts.	Brain Connect.	2022	DBLP DOI BibTeX RDF
16	Bojana Pantic, Maja Pech	Towards the Classification of Polymorphism-homogeneous Metric Spaces.	J. Multiple Valued Log. Soft Comput.	2022	DBLP BibTeX RDF
16	Yunus Emre Isik, Yasin Görmez, Zafer Aydin, Burcu Bakir-Gungor	The Determination of Distinctive Single Nucleotide Polymorphism Sets for the Diagnosis of Behçet's Disease.	IEEE ACM Trans. Comput. Biol. Bioinform.	2022	DBLP DOI BibTeX RDF
16	C. Ignacio Sainz-Díaz, Alexander Pérez de la Luz, Carolina Barrientos-Salcedo, Misaela Francisco-Marquez, Catalina Soriano-Correa	Crystal polymorphism and spectroscopical properties of sulfonamides in solid state by means of First Principles calculations.	J. Comput. Aided Mol. Des.	2022	DBLP DOI BibTeX RDF
16	Kah Yee Tai, Jasbir Dhaliwal, KokSheik Wong	Risk score prediction model based on single nucleotide polymorphism for predicting malaria: a machine learning approach.	BMC Bioinform.	2022	DBLP DOI BibTeX RDF
16	Chengyang Ji, Na Han, Yexiao Cheng, Jingzhe Shang, Shenghui Weng, Rong Yang, Hangyu Zhou, Aiping Wu	sitePath: a visual tool to identify polymorphism clades and help find fixed and parallel mutations.	BMC Bioinform.	2022	DBLP DOI BibTeX RDF
16	Arpitha P. Bharathi, Monaldo Mastrolilli	Ideal Membership Problem over 3-Element CSPs with Dual Discriminator Polymorphism.	SIAM J. Discret. Math.	2022	DBLP DOI BibTeX RDF
16		The rs13347 Polymorphism of the CD44 Gene Is Associated with the Risk of Kidney Stones Disease in the Chinese Han Population of Northeast Sichuan, China.	Comput. Math. Methods Medicine	2022	DBLP DOI BibTeX RDF
16	Tanmaya Kumar Sahu, Amit Kumar Singh, Shikha Mittal 0003, Shailendra Kumar Jha, Sundeep Kumar, Sherry Rachel Jacob, Kuldeep Singh	G-DIRT: a web server for identification and removal of duplicate germplasms based on identity-by-state analysis using single nucleotide polymorphism genotyping data.	Briefings Bioinform.	2022	DBLP DOI BibTeX RDF
16	Paolo Pistone, Luca Tranchini, Mattia Petrolo	The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives.	Stud Logica	2022	DBLP DOI BibTeX RDF
16	Iris Reinhartz-Berger, Anna Zamansky	Reuse of Similarly Behaving Software Through Polymorphism-Inspired Variability Mechanisms.	IEEE Trans. Software Eng.	2022	DBLP DOI BibTeX RDF
16	Jonathan Sterling, Daniel Gratzer, Lars Birkedal	Denotational semantics of general store and polymorphism.	CoRR	2022	DBLP DOI BibTeX RDF
16	M. Clarence Protin, Gilda Ferreira	Typability and Type Inference in Atomic Polymorphism.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Pirko Tõugu, Tiia Tulviste, Toomas Veidebaum, Jaanus Harro	Schoolchildren's autobiographical memory: COMT gene Val158Met polymorphism effects on emotional content and quality of first memories.	Cogn. Process.	2022	DBLP DOI BibTeX RDF
16	Chih-Yao Hu, Chung-Lieh Hung, Yen-Chang Huang, Po-Han Huang, Da-Yo Tseng, Yi-Hsuan Lin, Fang-Ju Sun, Fu-Jen Kao, Hung-I Yeh, Yen-Yu Liu	Alcohol patch test with hue-saturation-value model analysis predicts ALDH2 genetic polymorphism.	Comput. Biol. Medicine	2022	DBLP DOI BibTeX RDF
16	Iris Reinhartz-Berger, Sameh Abbas	Extracting domain behaviors through multi-criteria, polymorphism-inspired variability analysis.	Inf. Syst.	2022	DBLP DOI BibTeX RDF
16	Shan Gao, Jia-wei Hao, Ya-nan Zhao, Xuan Li, Tao Wang, Zhifa Han, Bao-liang Sun, Jing-yi Sun, Guiyou Liu	An updated analysis of the association between CD2-associated protein gene rs9349407 polymorphism and Alzheimer's disease in Chinese population.	Frontiers Neuroinformatics	2022	DBLP DOI BibTeX RDF
16	Dylan McDermott, Yasuaki Morita, Tarmo Uustalu	A Type System with Subtyping for WebAssembly's Stack Polymorphism.	ICTAC	2022	DBLP DOI BibTeX RDF
16	Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó	Type Theory with Explicit Universe Polymorphism.	TYPES	2022	DBLP DOI BibTeX RDF
16	Fotios Bouraimis, Nikolaos Mainas, Euripides G. M. Petrakis	Composition and Polymorphism Support in the OpenAPI Ontology.	AINA (1)	2022	DBLP DOI BibTeX RDF
16	Taro Sekiyama, Takeshi Tsukada	CPS transformation with affine types for call-by-value implicit polymorphism.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
16	Endre Tóth, Tamás Waldhauser	Polymorphism-homogeneity and universal algebraic geometry.	Discret. Math. Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
16	Wei-Hau Chang, Shih-Hsin Huang, Hsin-Hung Lin, Szu-Chi Chung, I-Ping Tu	Cryo-EM Analyses Permit Visualization of Structural Polymorphism of Biological Macromolecules.	Frontiers Bioinform.	2021	DBLP DOI BibTeX RDF
16	Nina Karalija, Ylva Köhncke, Sandra Düzel, Lars Bertram, Goran Papenberg, Ilja Demuth, Christina M. Lill, Jarkko Johansson, Katrine Riklund, Martin Lövdén, Lars Bäckman, Lars Nyberg, Ulman Lindenberger, Andreas M. Brandmaier	A common polymorphism in the dopamine transporter gene predicts working memory performance and in vivo dopamine integrity in aging.	NeuroImage	2021	DBLP DOI BibTeX RDF
16	Leonardo Bonetti, S. E. P. Bruzzone, Nader Alessandro Sedghi, Niels Trusbak Haumann, T. Paunio, Katri Kantojärvi, Marina Kliuchko, Peter Vuust, Elvira Brattico	Brain predictive coding processes are associated to COMT gene Val158Met polymorphism.	NeuroImage	2021	DBLP DOI BibTeX RDF
16	Zsuzsa Lindenmaier, Yohan Yee, Adrienne Kinman, Darren J. Fernandes, Jacob Ellegood, Christie L. Burton, Diane M. Robins, Armin Raznahan, Paul Arnold, Jason P. Lerch	Characterization of mice bearing humanized androgen receptor genes (h/mAr) varying in polymorphism length.	NeuroImage	2021	DBLP DOI BibTeX RDF