Search results for "Generic programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	James C. Dehnert, Alexander A. Stepanov	Fundamentals of Generic Programming.	Generic Programming	1998	DBLP DOI BibTeX RDF	Generic programming, operator semantics, concept, regular type
4	Martin Sulzmann, Meng Wang	Modular generic programming with extensible superclasses.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	generic programming, type classes
4	James Crotinger, Julian Cummings, Scott Haney, William Humphrey, Steve Karmesin, John Reynders, Stephen Smith, Timothy J. Williams	Generic Programming in POOMA and PETE.	Generic Programming	1998	DBLP DOI BibTeX RDF
4	Sibylle Schupp, Rüdiger Loos	SUCHTHAT - Generic Programming Works.	Generic Programming	1998	DBLP DOI BibTeX RDF
4	Hervé Brönnimann, Lutz Kettner, Stefan Schirra, Remco C. Veltkamp	Applications of the Generic Programming Paradigm in the Design of CGAL.	Generic Programming	1998	DBLP DOI BibTeX RDF
4	David R. Musser, Sibylle Schupp, Rüdiger Loos	Requirement Oriented Programming.	Generic Programming	1998	DBLP DOI BibTeX RDF	requirement oriented programming, concept description language, algebraic concept definitions, TECTON, formal verification, specification language, generic programming, standard template library
4	David R. Musser, Arturo J. Sánchez-Ruíz	Theory and Generality of Complete Traversals.	Generic Programming	1998	DBLP DOI BibTeX RDF	Standard Template Library (STL), Adaptors, Iteration Mechanisms, Generic Programming, Iterators, Containers, Closures
3	Stephanie Weirich, Chris Casinghino	Arity-generic datatype-generic programming.	PLPV	2010	DBLP DOI BibTeX RDF	agda, arity-generic programming, generic haskell, dependent types
3	Fehmi Cirak, Julian C. Cummings	Generic programming techniques for parallelizing and extending procedural finite element programs.	Eng. Comput. (Lond.)	2008	DBLP DOI BibTeX RDF	Multi-physics coupling, Parallelization, Object-oriented programming, Finite elements, Generic programming
3	Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira	Comparing libraries for generic programming in haskell.	Haskell	2008	DBLP DOI BibTeX RDF	libraries comparison, datatype-generic programming
3	Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander	Modular and generic programming with interpreterlib.	ASE	2007	DBLP DOI BibTeX RDF	modular monadic semantics, generative programming, generic programming
3	Jaakko Järvi, Douglas 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
3	Adriaan Moors, Frank Piessens, Wouter Joosen	An object-oriented approach to datatype-generic programming.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	datatype-genericity, scala, polytypic programming
3	Douglas 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++ templates, C++0x
3	Douglas Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David R. Musser, Sibylle Schupp	Generic Programming and High-Performance Libraries.	International Journal of Parallel Programming	2005	DBLP DOI BibTeX RDF	high-level optimization, formal verification, static analysis, Generic programming, software libraries
3	Jeremy G. Siek, Andrew Lumsdaine	Essential language support for generic programming.	PLDI	2005	DBLP DOI BibTeX RDF	C++, Haskell, polymorphism, generic programming, standard ML
3	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
3	Roland Carl Backhouse, Paul F. Hoogendijk	Generic Properties of Datatypes.	Generic Programming	2003	DBLP DOI BibTeX RDF
3	Roy L. Crole	Basic Category Theory for Models of Syntax.	Generic Programming	2003	DBLP DOI BibTeX RDF
3	Ralf Hinze, Johan Jeuring	Generic Haskell: Applications.	Generic Programming	2003	DBLP DOI BibTeX RDF
3		Discussion: The Role of Types in Generic Programming.	Generic Programming	2002	DBLP BibTeX RDF
3	Thorsten Altenkirch, Conor McBride	Generic Programming within Dependently Typed Programming.	Generic Programming	2002	DBLP BibTeX RDF
3	Lie-Quan Lee, Andrew Lumsdaine	Generic programming for high performance scientific applications.	Java Grande	2002	DBLP DOI BibTeX RDF	C++, message-passing, high-performance computing, generic programming, iterative solvers, krylov subspace
3	Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher	A Generic Programming Environment for High-Performance Mathematical Libraries.	Generic Programming	1998	DBLP DOI BibTeX RDF	generic libraries, specifications, computer algebra, functors
3	Ullrich Köthe, Karsten Weihe	The STL Model in the Geometric Domain.	Generic Programming	1998	DBLP DOI BibTeX RDF
3	Karl J. Lieberherr, Boaz Patt-Shamir	The Refinement Relation of Graph-Based Generic Programs.	Generic Programming	1998	DBLP DOI BibTeX RDF
2	Bryan Chadwick, Karl J. Lieberherr	Weaving generic programming and traversal performance.	AOSD	2010	DBLP DOI BibTeX RDF
2	Bryan Chadwick, Karl J. Lieberherr	Algorithms for traversal-based generic programming.	ICFP-WGP	2010	DBLP DOI BibTeX RDF
2	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
2	Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring	Generic programming with fixed points for mutually recursive datatypes.	ICFP	2009	DBLP DOI BibTeX RDF	mutually recursive datatypes, haskell, fixed points, datatype-generic programming
2	Jeremiah Willcock, Andrew Lumsdaine, Daniel J. Quinlan	Reusable, generic program analyses and transformations.	GPCE	2009	DBLP DOI BibTeX RDF	compiler optimization, generic programming
2	Neil C. C. Brown, Adam T. Sampson	Alloy: fast generic transformations for Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	haskell, generic programming, alloy
2	Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum	A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers.	PADL	2008	DBLP DOI BibTeX RDF
2	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
2	Santi Caballé	Combining Generic Programming and Service-Oriented Architectures for the Effective and Timely Development of Complex e-Learning Systems.	CISIS	2008	DBLP DOI BibTeX RDF
2	Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz	A comparison of c++ concepts and haskell type classes.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	specification-driven development, c++, haskell, generic programming, concepts, type classes
2	Bruno C. d. S. Oliveira, Jeremy Gibbons	Scala for generic programmers.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	scala, polytypic programming, datatype-generic programming
2	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
2	Eric Berberich, Michael Sagraloff	A generic and flexible framework for the geometrical and topological analysis of (algebraic) surfaces.	Symposium on Solid and Physical Modeling	2008	DBLP DOI BibTeX RDF	surface analysis, framework, topology, meshing, generic programming, geometry, algebraic surfaces, quadrics, space curves, lower envelopes
2	Idit Haran, Dan Halperin	An experimental study of point location in planar arrangements in CGAL.	ACM Journal of Experimental Algorithmics	2008	DBLP DOI BibTeX RDF	computational geometry, generic programming, arrangements, Point location, CGAL
2	Roland Carl Backhouse, Henk Doornbos	Datatype-Generic Termination Proofs.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Allegory, Generic programming, Relation algebra, Programming methodology, Datatype
2	Xin Li, Marc Moreno Maza, Éric Schost	On the Virtues of Generic Programming for Symbolic Computation.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	fast arithmetic, polynomials, high performance, Generic programming, efficient implementation
2	Jeremy Yallop	Practical generic programming in OCaml.	ML	2007	DBLP DOI BibTeX RDF	generic programming, deriving, OCaml
2	Chen Yewang, Jiang Zhixiong, Zhao Wenyun, Peng Xin	Generic Component: A Generic Programming Approach.	CIT	2007	DBLP DOI BibTeX RDF
2	Martin Erwig, Zhe Fu, Ben Pflaum	Generic programming in Fortran.	PEPM	2006	DBLP DOI BibTeX RDF	software maintenance, reuse, Fortran, haskell, scientific computing, generic programming, program generation
2	Andreas Abel	Towards Generic Programming with Sized Types.	MPC	2006	DBLP DOI BibTeX RDF
2	Johan Jeuring, Alexey Rodriguez, Gideon Smeding	Generating generic functions.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	generic programming, automated testing, program synthesis, generalized algebraic data types
2	Jeremy Gibbons	Design patterns as higher-order datatype-generic programs.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	design patterns, functional programming, generic programming, unfolds, folds, higher-order functions
2	Kyle D. Ross	Towards an automatic complexity analysis for generic programs.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	cost-bound functions, library-oriented software, performance concepts, abstract interpretation, generic programming, complexity analysis
2	Geoffrey Washburn, Stephanie Weirich	Good advice for type-directed programming aspect-oriented programming and extensible generic functions.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	open extension, type-directed programming, aspect-oriented programming, generic programming, type analysis, expression problem
2	Gustav Munkby, Andreas P. Priesnitz, Sibylle Schupp, Marcin Zalewski	Scrap++: scrap your boilerplate in C++.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	C++, extensibility, generic programming
2	Andres Löh, Ralf Hinze	Open data types and open functions.	PPDP	2006	DBLP DOI BibTeX RDF	extensible data types, extensible exceptions, extensible functions, mutually recursive modules, functional programming, Haskell, generic programming, expression problem
2	Weiguo Liu, Bertil Schmidt	Parallel Pattern-Based Systems for Computational Biology: A Case Study.	IEEE Trans. Parallel Distrib. Syst.	2006	DBLP DOI BibTeX RDF	High-performance computational biology, hierarchical parallel genetic algorithms, parallel patterns, generic programming, dynamic programming algorithms
2	Roland Carl Backhouse	Datatype-Generic Reasoning.	CiE	2006	DBLP DOI BibTeX RDF	allegory, generic programming, relation algebra, programming methodology, Datatype
2	Bruno C. d. S. Oliveira, Jeremy Gibbons	TypeCase: a design pattern for type-indexed functions.	Haskell	2005	DBLP DOI BibTeX RDF	type-indexed functions, generic programming, type classes
2	James Cheney	Scrap your nameplate: (functional pearl).	ICFP	2005	DBLP DOI BibTeX RDF	generic programming, binding, names, substitution
2	Ralf Lämmel, Simon L. Peyton Jones	Scrap your boilerplate with class: extensible generic functions.	ICFP	2005	DBLP DOI BibTeX RDF	recursive dictionaries, typecase, extensibility, generic programming, type classes
2	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#
2	Jaakko Järvi, Andrew Lumsdaine, D. P. Gregor, Mayuresh Kulkarni, David R. Musser, Sibylle Schupp	Generic Programming and High-Performance Libraries.	IPDPS Next Generation Software Program - NSFNGS - PI Workshop	2004	DBLP DOI BibTeX RDF
2	André Luís Gobbi Sanches, Fernando Roberto Secco, Antônio Augusto Fröhlich	High Performance Communication System Based on Generic Programming.	SBAC-PAD	2004	DBLP DOI BibTeX RDF
2	Ulf Norell, Patrik Jansson	Prototyping Generic Programming in Template Haskell.	MPC	2004	DBLP DOI BibTeX RDF
2	Ralf Lämmel, Simon L. Peyton Jones	Scrap more boilerplate: reflection, zips, and generalised casts.	ICFP	2004	DBLP DOI BibTeX RDF	type cast, reflection, generic programming, zippers
2	C. Barry Jay	The pattern calculus.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Constructor calculus, pattern calculus, functional programming, pattern-matching, generic programming
2	Ralf Lämmel, Simon L. Peyton Jones	Scrap your boilerplate: a practical design pattern for generic programming.	TLDI	2003	DBLP DOI BibTeX RDF	rank-2 types, type cast, generic programming, traversal
2	Santi Caballé, Fatos Xhafa	A study into the feasibility of generic programming in Java.	PPPJ	2003	DBLP DOI BibTeX RDF
2	Jeremy Gibbons, Johan Jeuring (eds.)	Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany	Generic Programming	2003	DBLP BibTeX RDF
2	Roland Carl Backhouse, Jeremy Gibbons (eds.)	Generic Programming - Advanced Lectures	Generic Programming	2003	DBLP BibTeX RDF
2	José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger	A Mathematical Semantics for Architectural Connectors.	Generic Programming	2003	DBLP DOI BibTeX RDF
2	Ralf Hinze, Johan Jeuring	Generic Haskell: Practice and Theory.	Generic Programming	2003	DBLP DOI BibTeX RDF
2	Eric E. Allen, Robert Cartwright, Brian Stoler	Efficient Implementation of Run-time Generic Types for Java.	Generic Programming	2002	DBLP BibTeX RDF
2		Discussion: Views of Genericity.	Generic Programming	2002	DBLP BibTeX RDF
2	Sharon A. Curtis	A Generic Algorithm for Minimum Chain Partitioning.	Generic Programming	2002	DBLP BibTeX RDF
2	Douglas Gregor, Sibylle Schupp	Making the Usage of STL Safe.	Generic Programming	2002	DBLP BibTeX RDF
2	Dave Clarke, Andres Löh	Generic Haskell, Specifically.	Generic Programming	2002	DBLP BibTeX RDF
2	Olaf Seng, Thomas Genssler, Benedikt Schulz	Adaptive Extensions of Object-Oriented Systems.	Generic Programming	2002	DBLP BibTeX RDF
2	William Klostermeyer, David R. Musser, Arturo J. Sánchez-Ruíz	Complete Traversals as General Iteration Patterns.	Generic Programming	2002	DBLP BibTeX RDF
2	Alberto Pardo	Generic Accumulations.	Generic Programming	2002	DBLP BibTeX RDF
2	Michael C. Burton, William G. Griswold, Andrew D. McCulloch, Gary A. Huber	Static Data Structures.	Generic Programming	2002	DBLP BibTeX RDF
2	Raymond T. Boute	Concrete Generic Functionals.	Generic Programming	2002	DBLP BibTeX RDF
2	Ralf Lämmel, Joost Visser	Design patterns for functional strategic programming.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	strafunski, design patterns, program transformation, program analysis, functional programming, generic programming, combinator libraries
2	Artem Alimarine, Marinus J. Plasmeijer	A Generic Programming Extension for Clean.	IFL	2001	DBLP DOI BibTeX RDF
2	Peter Dybjer, Anton Setzer	Indexed Induction-Recursion.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
2	Susan Hert, Michael Hoffmann, Lutz Kettner, Sylvain Pion, Michael Seel	An Adaptable and Extensible Geometry Kernel.	Algorithm Engineering	2001	DBLP DOI BibTeX RDF	library design, Computational geometry, generic programming
2	Mehdi Jazayeri, Rüdiger Loos, David R. Musser (eds.)	Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers	Generic Programming	2000	DBLP BibTeX RDF
2	Ullrich Köthe	Generic Programming Techniques that Make Planar Cell Complexes Easy to Use.	Digital and Image Geometry	2000	DBLP DOI BibTeX RDF
2	Nikolay Mateev, Keshav Pingali, Paul Stodghill, Vladimir Kotlyar	Next-generation generic programming and its application to sparse matrix computations.	ICS	2000	DBLP DOI BibTeX RDF
2	Christopher Landauer, Kirstie L. Bellman	Generic Programming, Partial Evaluation, and a New Programming Paradigm. (PDF / PS)	HICSS	1999	DBLP BibTeX RDF
2	Jeremy G. Siek, Andrew Lumsdaine	The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra.	ISCOPE	1998	DBLP DOI BibTeX RDF
2	Matthew H. Austern	Segmented Iterators and Hierarchical Algorithms.	Generic Programming	1998	DBLP DOI BibTeX RDF	multidimensional data structures, iterators, Standard Template Library
2	Krzysztof Czarnecki, Ulrich W. Eisenecker, Robert Glück, David Vandevoorde, Todd L. Veldhuizen	Generative Programming and Active Libraries.	Generic Programming	1998	DBLP DOI BibTeX RDF
2	Christoph Schwarzweller	Mizar Correctness Proofs of Generic Fraction Field Arithmetic.	Generic Programming	1998	DBLP DOI BibTeX RDF
2	Martin Odersky, Enno Runne, Philip Wadler	Two Ways to Bake Your Pizza - Translating Parameterised Types into Java.	Generic Programming	1998	DBLP BibTeX RDF
2	Dietmar Kühl	Generic Graph Algorithms.	Generic Programming	1998	DBLP DOI BibTeX RDF	data accessor, algorithm object, graph algorithm, iterator
2	Axel Dold	Software Development in PVS Using Generic Development Steps.	Generic Programming	1998	DBLP DOI BibTeX RDF	generic development steps, transformational software development, formal verification, mechanized theorem proving
2	David Abrahams	Exception-Safety in Generic Components.	Generic Programming	1998	DBLP DOI BibTeX RDF	exception-safety, C++, exceptions, STL
2	Alexandre V. Zamulin	Language Independent Container Specification.	Generic Programming	1998	DBLP DOI BibTeX RDF
2	Matthew B. Dwyer, Corina S. Pasareanu	Model Checking Generic Container Implementations.	Generic Programming	1998	DBLP DOI BibTeX RDF	generic containers, Model checking, temporal logic, assume-guarantee reasoning
2	Wolf Zimmermann, Arne Frick, Rainer Neumann	The Construction Principles of the Class Library KARLA.	Generic Programming	1998	DBLP DOI BibTeX RDF
2	Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden	A Data Abstraction Alternative to Data Structure/Algorithm Modularization.	Generic Programming	1998	DBLP DOI BibTeX RDF
2	Jaakko Järvi	Compile Time Recursive Objects in C++.	TOOLS	1998	DBLP DOI BibTeX RDF	template metaprogramming, generic programming, sparse matrices, C++ templates