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