Search results for "generics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
119	Daniel von Dincklage, Amer Diwan	Converting Java classes to use generics.	OOPSLA	2004	DBLP DOI BibTeX RDF	generics, type inference, parametric polymorphism
114	Laurentiu Dragan, Stephen M. Watt	Performance Analysis of Generics in Scientific Computing.	SYNASC	2005	DBLP DOI BibTeX RDF
82	Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock	A comparative study of language support for generic programming.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, C++, generics, Haskell, polymorphism, generic programming, standard ML, C#, Eiffel
73	Jaakko Järvi, Douglas P. Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek	Algorithm specialization in generic programming: challenges of constrained generics in C++.	PLDI	2006	DBLP DOI BibTeX RDF	constrained generics, generic programming, concepts, specialization, parametric polymorphism
73	Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller	Generics-related refactorings in eclipse.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	Java, generics, refactoring, Eclipse, type inference, parameterization, instantiation, type constraints, generic types
73	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#
68	Kurt Stenzel, Holger Grandy, Wolfgang Reif	Verification of Java Programs with Generics.	AMAST	2008	DBLP DOI BibTeX RDF
68	Nicu G. Fruja	Type Safety of Generics for the .NET Common Language Runtime.	ESOP	2006	DBLP DOI BibTeX RDF
67	Chieri Saito, Atsushi Igarashi	Self type constructors.	OOPSLA	2009	DBLP DOI BibTeX RDF	MyType, type constructor polymorphism, generics, binary methods
67	Maurizio Cimadamore, Mirko Viroli	Reifying wildcards in Java using the EGO approach.	SAC	2007	DBLP DOI BibTeX RDF	java wildcards, variant parametric types, java generics
58	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
58	Maurizio Cimadamore, Mirko Viroli	A Prolog-oriented extension of Java programming based on generics and annotations.	PPPJ	2007	DBLP DOI BibTeX RDF	Java, Prolog, multiparadigm, Java generics
58	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
58	Dachuan Yu, Andrew Kennedy, Don Syme	Formalization of generics for the .NET common language runtime.	POPL	2004	DBLP DOI BibTeX RDF	CLR, run-time types, generics, polymorphism, NET
53	Adriaan Moors, Frank Piessens, Martin Odersky	Generics of a higher kind.	OOPSLA	2008	DBLP DOI BibTeX RDF	higher-kinded types, higher-order genericity, type constructor polymorphism, Scala
53	Karl Ridgeway, David Bernstein, John F. Magnotti	Using Java's generics mechanism to improve type safety in the command pattern.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	command pattern, proxy pattern, RPC
53	Andrew Kennedy, Don Syme	Design and Implementation of Generics for the .NET Common Language Runtime.	PLDI	2001	DBLP DOI BibTeX RDF
46	Tetsuo Kamina, Tetsuo Tamai	Lightweight scalable components.	GPCE	2007	DBLP DOI BibTeX RDF	FGJ, pamily polymorphism, scalable java, type parameter members, parametric polymorphism
46	Jens Gerlach, Joachim Kneis	Generic Programming for Scientific Computing in C++, Java, and C#.	APPT	2003	DBLP DOI BibTeX RDF
44	Alexandre Bergel, Lorenzo Bettini	Generics and Reverse Generics for Pharo.	ICSOFT	2012	DBLP DOI BibTeX RDF
43	Jeremy G. Siek	Modular generics.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	C++, modularity, generics, haskell, polymorphism, generic programming, standard ML
37	Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst	Object and reference immutability using java generics.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	IGJ, const, java, generic, readonly, immutability
37	Vesa A. J. Karvonen	Generics for the working ML'er.	ML	2007	DBLP DOI BibTeX RDF	type-indexed values, ML, generic programming
37	Atsushi Igarashi, Mirko Viroli	Variant parametric types: A flexible subtyping scheme for generics.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Generic classes, Java, subtyping, language design, variance, language semantics
36	Nabil El Boustani, Jurriaan Hage	Corrective hints for type incorrect generic Java programs.	PEPM	2010	DBLP DOI BibTeX RDF	compilers, heuristics, error correcting, type checking, java generics, error reporting
36	Nabil El Boustani, Jurriaan Hage	Improving type error messages for generic java.	PEPM	2009	DBLP DOI BibTeX RDF	compilers, type checking, java generics, error reporting
36	Patrick Eugster	Type-based publish/subscribe: Concepts and experiences.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Java, distribution, Abstraction, generics, reflection, publish/subscribe, type
36	James Sasitorn, Robert Cartwright	Component nextgen: a sound and expressive component framework for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	custom class loader, first-class generics, java implementation, components, signatures, modules
36	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
36	Andrew Kennedy, Claudio V. Russo	Generalized algebraic data types and object-oriented programming.	OOPSLA	2005	DBLP DOI BibTeX RDF	constraints, generics, generalized algebraic data types
36	Brian Cabana, Suad Alagic, Jeff Faulkner	Parametric polymorphism for Java: is there any hope in sight?	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	Java core reflection, class files, class objects, generics, Java virtual machine, parametric polymorphism, loading
36	Melvin Neville, Anaika Sibley	Developing a generic genetic algorithm.	SIGAda	2002	DBLP DOI BibTeX RDF	Ada education, genetic algorithm, artificial intelligence, evolutionary algorithm, data structures, software tools, generics, teaching, templates
31	Neil C. C. Brown, Adam T. Sampson	Alloy: fast generic transformations for Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	haskell, generic programming, alloy
31	Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev	Libraries for Generic Programming in Haskell.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
31	Claudio V. Russo	The Joins Concurrency Library.	PADL	2007	DBLP DOI BibTeX RDF
22	Anand Pillay, Ningyuan Yao	On Groups with Definable F-generics Definable in P-Adically closed Fields.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
22	Gabriele Sacco, Loris Bozzato, Oliver Kutz	Generics in Defeasible Reasoning: Exceptionality, Gradability and Content Sensitivity.	JOWO	2023	DBLP BibTeX RDF
22	David Rose, Siying Zhang, Qi Han, Tobias Gerstenberg	Teleology and generics.	CogSci	2023	DBLP BibTeX RDF
22	Emily Allaway, Jena D. Hwang, Chandra Bhagavatula, Kathleen R. McKeown, Doug Downey, Yejin Choi 0001	Penguins Don't Fly: Reasoning about Generics through Instantiations and Exceptions.	EACL	2023	DBLP DOI BibTeX RDF
22	Claudia Collacciani, Giulia Rambelli	Interpretation of Generalization in Masked Language Models: An Investigation Straddling Quantifiers and Generics.	CLiC-it	2023	DBLP BibTeX RDF
22	Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev	Relational Solver for Java Generics Type System.	LOPSTR	2023	DBLP DOI BibTeX RDF
22	Joseph D. Johnson, Adam M. Redlich, Daniel M. Abrams	A Mathematical Model for the Origin of Name Brands and Generics.	SIAM Rev.	2022	DBLP DOI BibTeX RDF
22	Emily Allaway, Jena D. Hwang, Chandra Bhagavatula, Kathleen R. McKeown, Doug Downey, Yejin Choi 0001	Penguins Don't Fly: Reasoning about Generics through Instantiations and Exceptions.	CoRR	2022	DBLP DOI BibTeX RDF
22	Iian B. Smythe	Equivalence of generics.	Arch. Math. Log.	2022	DBLP DOI BibTeX RDF
22	Haofeng Li, Jie Lu 0009, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li 0002, Lin Gao 0002	Generic sensitivity: customizing context-sensitive pointer analysis for generics.	ESEC/SIGSOFT FSE	2022	DBLP DOI BibTeX RDF
22	Péter Soha, Norbert Pataki	Instantiation of Java Generics.	Acta Cybern.	2021	DBLP DOI BibTeX RDF
22	Elena Hoicka, Jennifer Saul, Eloise Prouten, Laura Whitehead, Rachel Sterken	Language Signaling High Proportions and Generics Lead to Generalizing, but Not Essentializing, for Novel Social Kinds.	Cogn. Sci.	2021	DBLP DOI BibTeX RDF
22	Robert van Rooij, Katrin Schulz	A Causal Semantics of IS Generics.	J. Semant.	2020	DBLP DOI BibTeX RDF
22	Pierre Simon	On Amalgamation in NTP2 Theories and Generically Simple Generics.	Notre Dame J. Formal Log.	2020	DBLP DOI BibTeX RDF
22	Satoru Suzuki	Intuitionistic-Bayesian Semantics of First-Order Logic for Generics.	CLAR	2020	DBLP DOI BibTeX RDF
22	Moez A. AbdelGawad	Java Generics: An Order-Theoretic Approach (Detailed Outline).	CoRR	2019	DBLP BibTeX RDF
22	Moez A. AbdelGawad	Using Category Theory in Modeling Generics in OOP (Outline).	CoRR	2019	DBLP BibTeX RDF
22	Moez A. AbdelGawad	Java Generics: An Order-Theoretic Approach (Abridged Outline).	CoRR	2019	DBLP BibTeX RDF
22	Nadya Vasilyeva, Tania Lombrozo	Structural Thinking about Social Categories: Evidence from Formal Explanations, Generics, and Generalization.	CogSci	2019	DBLP BibTeX RDF
22	Martina Rosola	Generics in Context: The Robustness and the Explanatory Implicatures.	CONTEXT	2019	DBLP DOI BibTeX RDF
22	Linda Brown Westrick	Weakly 2-Randoms and 1-generics in Scott Sets.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
22	Wei Wang 0150	Relative Definability of n-generics.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
22	Till Mossakowski, Bernd Krieg-Brückner	Partial pushout semantics of generics in DOL.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
22	Hanie Sedghi, Ashish Sabharwal	Knowledge Completion for Generics Using Guided Tensor Factorization.	Trans. Assoc. Comput. Linguistics	2018	DBLP DOI BibTeX RDF
22	Moez A. AbdelGawad	Doubly F-Bounded Generics.	CoRR	2018	DBLP BibTeX RDF
22	Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré	From Logical and Linguistic Generics to Hilbert's tau and epsilon Quantifiers.	FLAP	2017	DBLP BibTeX RDF
22	Ioannis Karafyllis, Lamprini Variti	Generics Pricing: The Greek Paradox.	ICIMTH	2017	DBLP DOI BibTeX RDF
22	Radu Grigore	Java generics are turing complete.	POPL	2017	DBLP DOI BibTeX RDF
22	Stan Jarzabek	Managing Software Complexity with Power-Generics.	KKIO Software Engineering Conference	2017	DBLP DOI BibTeX RDF
22	Maciej Malicki	Consequences of the existence of AMPLE generics and automorphism Groups of homogeneous Metric Structures.	J. Symb. Log.	2016	DBLP DOI BibTeX RDF
22	Moez A. AbdelGawad	Towards Understanding Generics.	CoRR	2016	DBLP BibTeX RDF
22	Hanie Sedghi, Ashish Sabharwal	Knowledge Completion for Generics using Guided Tensor Factorization.	CoRR	2016	DBLP BibTeX RDF
22	Radu Grigore	Java Generics are Turing Complete.	CoRR	2016	DBLP BibTeX RDF
22	Momme von Sydow	Intensional Probability Judgments and Inclusion Fallacies With Generics.	CogSci	2016	DBLP BibTeX RDF
22	Liying Zhang	Reasoning with Generics and Induction.	CLAR	2016	DBLP BibTeX RDF
22	Amanda C. Brandone, Susan A. Gelman, Jenna Hedglen	Children's Developing Intuitions About the Truth Conditions and Implications of Novel Generics Versus Quantified Statements.	Cogn. Sci.	2015	DBLP DOI BibTeX RDF
22	Vlad Ureche, Milos Stojanovic, Romain Béguet, Nicolas Stucki, Martin Odersky	Improving the Interoperation between Generics Translations.	PPPJ	2015	DBLP DOI BibTeX RDF
22	Alessia Passanisi, James A. Hampton	Gender and Generics: What Makes a Gender-specific Generic Sentence True?	EAPCogSci	2015	DBLP BibTeX RDF
22	Yizhou Zhang 0001, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers	Lightweight, flexible object-oriented generics.	PLDI	2015	DBLP DOI BibTeX RDF
22	Richard A. Shore	The Turing Degrees below generics and randoms.	J. Symb. Log.	2014	DBLP DOI BibTeX RDF
22	Moez A. AbdelGawad	Subtyping in Java with Generics and Wildcards is a Fractal.	CoRR	2014	DBLP BibTeX RDF
22	Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst, Theodore A. Slaman	Generics for computable Mathias forcing.	Ann. Pure Appl. Log.	2014	DBLP DOI BibTeX RDF
22	John Altidor, Yannis Smaragdakis	Refactoring Java generics by inferring wildcards, in practice.	OOPSLA	2014	DBLP DOI BibTeX RDF
22	Iris Oved, Pierina Cheung, David Barner	Concepts as Representations for Essences: Evidence from Use of Generics.	CogSci	2014	DBLP BibTeX RDF
22	Gordon Fraser 0001, Andrea Arcuri	Automated Test Generation for Java Generics.	SWQD	2014	DBLP DOI BibTeX RDF
22	Chris Parnin, Christian Bird, Emerson R. Murphy-Hill	Adoption and use of Java generics.	Empir. Softw. Eng.	2013	DBLP DOI BibTeX RDF
22	Donghoon Kim, Emerson R. Murphy-Hill, Chris Parnin, Christian Bird, Ronald Garcia	The Reaction of Open-Source Projects to New Language Features: An Empirical Study of C# Generics.	J. Object Technol.	2013	DBLP DOI BibTeX RDF
22	Alexandre Terrasa, Jean Privat	Efficiency of subtype test in object oriented languages with generics.	ICOOOLPS@ECOOP	2013	DBLP DOI BibTeX RDF
22	Javier Puente, David de la Fuente, Jesús Lozano Mosterín, Fernando Gascón	On firm specific characteristics of pharmaceutical generics and incentives to permanence under fuzzy conditions	CoRR	2012	DBLP BibTeX RDF
22	Olivier Sallenave, Roland Ducournau	Lightweight generics in embedded systems through static analysis.	LCTES	2012	DBLP DOI BibTeX RDF
22	Lintaro Ina, Atsushi Igarashi	Gradual typing for generics.	OOPSLA	2011	DBLP DOI BibTeX RDF
22	Meredith Meyer, Susan A. Gelman, Sarah M. Stilwell	Generics Are a Cognitive Default: Evidence From Sentence Processing.	CogSci	2011	DBLP BibTeX RDF
22	Tomoyuki Aotani, Manabu Toyama, Hidehiko Masuhara	Supporting covariant return types and generics in type relaxed weaving.	FOAL	2011	DBLP DOI BibTeX RDF
22	Chris Parnin, Christian Bird, Emerson R. Murphy-Hill	Java generics adoption: how new features are introduced, championed, or ignored.	MSR	2011	DBLP DOI BibTeX RDF
22	José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh	Optimizing generics is easy!	PEPM	2010	DBLP DOI BibTeX RDF	optimization, benchmark, functional programming, haskell, generic programming
22	Raúl Marticorena Sánchez, Carlos López Nozal, Yania Crespo, Francisco Javier Pérez	Refactoring Generics in JAVA: A Case Study on Extract Method.	CSMR	2010	DBLP DOI BibTeX RDF
22	Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson	Verifying Generics and Delegates.	ECOOP	2010	DBLP DOI BibTeX RDF
22	Brad J. Moore	Parallelism generics for Ada 2005 and beyond.	SIGAda	2010	DBLP DOI BibTeX RDF
22	Adam Przybylek	Design Patterns with AspectJ, Generics, and Reflective Programming.	ICSOFT (2)	2010	DBLP BibTeX RDF
22	John C. Lach, Vinu Vijay Kumar	Application-Specific Product Generics.	Computer	2009	DBLP DOI BibTeX RDF	Nonrecurring engineering costs, FPGAs, High-level synthesis, ASICs
22	Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino	Amalgamating sessions and methods in object-oriented languages with generics.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
22	Lintaro Ina, Atsushi Igarashi	Towards gradual typing for generics.	STOP@ECOOP	2009	DBLP DOI BibTeX RDF
22	Iulian Dragos, Martin Odersky	Compiling generics through user-directed type specialization.	ICOOOLPS@ECOOP	2009	DBLP DOI BibTeX RDF
22	Alexandre Bergel, Lorenzo Bettini	Reverse Generics: Parametrization after the Fact.	ICSOFT (Selected Papers)	2009	DBLP DOI BibTeX RDF
22	Alexandre Bergel, Lorenzo Bettini	Reverse Generics - Parametrization after the Fact.	ICSOFT (1)	2009	DBLP BibTeX RDF