Login / Signup
Generic Programming
1998
2000
2001
2003
1998
2003
Keyphrases
Publications
2003
Roy L. Crole
Basic Category Theory for Models of Syntax.
Generic Programming
(2003)
José Luiz Fiadeiro
,
Antónia Lopes
,
Michel Wermelinger
A Mathematical Semantics for Architectural Connectors.
Generic Programming
(2003)
Roland Carl Backhouse
,
Paul F. Hoogendijk
Generic Properties of Datatypes.
Generic Programming
(2003)
Ralf Hinze
,
Johan Jeuring
Generic Haskell: Applications.
Generic Programming
(2003)
Ralf Hinze
,
Johan Jeuring
Generic Haskell: Practice and Theory.
Generic Programming
(2003)
volume 2793, 2003
Generic Programming - Advanced Lectures
Generic Programming
2793 (2003)
volume 243, 2003
Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany
Generic Programming
243 (2003)
2002
Alberto Pardo
Generic Accumulations.
Generic Programming
(2002)
Sharon A. Curtis
A Generic Algorithm for Minimum Chain Partitioning.
Generic Programming
(2002)
Thorsten Altenkirch
,
Conor McBride
Generic Programming within Dependently Typed Programming.
Generic Programming
(2002)
Eric E. Allen
,
Robert Cartwright
,
Brian Stoler
Efficient Implementation of Run-time Generic Types for Java.
Generic Programming
(2002)
Douglas P. Gregor
,
Sibylle Schupp
Making the Usage of STL Safe.
Generic Programming
(2002)
Dave Clarke
,
Andres Löh
Generic Haskell, Specifically.
Generic Programming
(2002)
Michael C. Burton
,
William G. Griswold
,
Andrew D. McCulloch
,
Gary A. Huber
Static Data Structures.
Generic Programming
(2002)
Olaf Seng
,
Thomas Genssler
,
Benedikt Schulz
Adaptive Extensions of Object-Oriented Systems.
Generic Programming
(2002)
Discussion: The Role of Types in Generic Programming.
Generic Programming
(2002)
Raymond T. Boute
Concrete Generic Functionals.
Generic Programming
(2002)
William Klostermeyer
,
David R. Musser
,
Arturo J. Sánchez-Ruíz
Complete Traversals as General Iteration Patterns.
Generic Programming
(2002)
Discussion: Views of Genericity.
Generic Programming
(2002)
volume 1766, 2000
Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers
Generic Programming
1766 (2000)
1998
Wolfgang Schreiner
,
Werner Danielczyk-Landerl
,
Mircea Marin
,
Wolfgang Stöcher
A Generic Programming Environment for High-Performance Mathematical Libraries.
Generic Programming
(1998)
Murali Sitaraman
,
Bruce W. Weide
,
Timothy J. Long
,
William F. Ogden
A Data Abstraction Alternative to Data Structure/Algorithm Modularization.
Generic Programming
(1998)
Dietmar Kühl
Generic Graph Algorithms.
Generic Programming
(1998)
David R. Musser
,
Sibylle Schupp
,
Rüdiger Loos
Requirement Oriented Programming.
Generic Programming
(1998)
Karl J. Lieberherr
,
Boaz Patt-Shamir
The Refinement Relation of Graph-Based Generic Programs.
Generic Programming
(1998)
Matthew B. Dwyer
,
Corina S. Pasareanu
Model Checking Generic Container Implementations.
Generic Programming
(1998)
Krzysztof Czarnecki
,
Ulrich W. Eisenecker
,
Robert Glück
,
David Vandevoorde
,
Todd L. Veldhuizen
Generative Programming and Active Libraries.
Generic Programming
(1998)
Axel Dold
Software Development in PVS Using Generic Development Steps.
Generic Programming
(1998)
Wolf Zimmermann
,
Arne Frick
,
Rainer Neumann
The Construction Principles of the Class Library KARLA.
Generic Programming
(1998)
Ullrich Köthe
,
Karsten Weihe
The STL Model in the Geometric Domain.
Generic Programming
(1998)
Alexandre V. Zamulin
Language Independent Container Specification.
Generic Programming
(1998)
Martin Odersky
,
Enno Runne
,
Philip Wadler
Two Ways to Bake Your Pizza - Translating Parameterised Types into Java.
Generic Programming
(1998)
Hervé Brönnimann
,
Lutz Kettner
,
Stefan Schirra
,
Remco C. Veltkamp
Applications of the Generic Programming Paradigm in the Design of CGAL.
Generic Programming
(1998)
Sibylle Schupp
,
Rüdiger Loos
SUCHTHAT - Generic Programming Works.
Generic Programming
(1998)
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)
Matthew H. Austern
Segmented Iterators and Hierarchical Algorithms.
Generic Programming
(1998)
David Abrahams
Exception-Safety in Generic Components.
Generic Programming
(1998)
James C. Dehnert
,
Alexander A. Stepanov
Fundamentals of Generic Programming.
Generic Programming
(1998)
Christoph Schwarzweller
Mizar Correctness Proofs of Generic Fraction Field Arithmetic.
Generic Programming
(1998)
David R. Musser
,
Arturo J. Sánchez-Ruíz
Theory and Generality of Complete Traversals.
Generic Programming
(1998)