|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 57 occurrences of 39 keywords
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Thomas van Noort, Peter Achten, Rinus Plasmeijer |
Ad-hoc polymorphism and dynamic typing in a statically typed functional language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010, pp. 73-84, 2010, ACM, 978-1-4503-0251-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sebastiaan Visser, Andres Löh |
Generic storage in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010, pp. 25-36, 2010, ACM, 978-1-4503-0251-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring |
Generic selections of subexpressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010, pp. 37-48, 2010, ACM, 978-1-4503-0251-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bruno C. d. S. Oliveira, Marcin Zalewski (eds.) |
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![ACM, 978-1-4503-0251-7 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein, Ken Friis Larsen |
Generic multiset programming for language-integrated querying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010, pp. 49-60, 2010, ACM, 978-1-4503-0251-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Hinze, Daniel W. H. James |
Reason isomorphically! ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010, pp. 85-96, 2010, ACM, 978-1-4503-0251-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Adams 0001 |
Scrap your zippers: a generic zipper for heterogeneous types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010, pp. 13-24, 2010, ACM, 978-1-4503-0251-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Conor McBride |
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010, pp. 1-12, 2010, ACM, 978-1-4503-0251-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bryan Chadwick, Karl J. Lieberherr |
Algorithms for traversal-based generic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010, pp. 61-72, 2010, ACM, 978-1-4503-0251-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata |
Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010, pp. 97-108, 2010, ACM, 978-1-4503-0251-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Nogueira, Juan José Moreno-Navarro |
Bialgebra views: a way for polytypic programming to cohabit with data abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008, pp. 61-73, 2008, ACM, 978-1-60558-060-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bialgebras, program generation, abstract types, polytypic programming |
1 | Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz |
A comparison of c++ concepts and haskell type classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008, pp. 37-48, 2008, ACM, 978-1-60558-060-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
specification-driven development, c++, haskell, generic programming, concepts, type classes |
1 | Wendy Verbruggen, Edsko de Vries, Arthur Hughes |
Polytypic programming in COQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008, pp. 49-60, 2008, ACM, 978-1-60558-060-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
kind-indexed types, theorem proving, generic programming, formalization, coq, polytypic programming |
1 | Bruno C. d. S. Oliveira, Jeremy Gibbons |
Scala for generic programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008, pp. 25-36, 2008, ACM, 978-1-60558-060-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
scala, polytypic programming, datatype-generic programming |
1 | Alley Stoughton |
A functional model-view-controller software architecture for command-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008, pp. 1-12, 2008, ACM, 978-1-60558-060-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
exene, user-interface, ml, model-view-controller, concurrent ml |
1 | Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren |
A lightweight approach to datatype-generic rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008, pp. 13-24, 2008, ACM, 978-1-60558-060-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
term rewriting, datatype-generic programming |
1 | Ralf Hinze, Don Syme (eds.) |
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![ACM, 978-1-60558-060-9 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Johan Jeuring, Alexey Rodriguez, Gideon Smeding |
Generating generic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 23-32, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
generic programming, automated testing, program synthesis, generalized algebraic data types |
1 | Geoffrey Washburn, Stephanie Weirich |
Good advice for type-directed programming aspect-oriented programming and extensible generic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 33-44, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
open extension, type-directed programming, aspect-oriented programming, generic programming, type analysis, expression problem |
1 | Kyle D. Ross |
Towards an automatic complexity analysis for generic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 87-95, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
cost-bound functions, library-oriented software, performance concepts, abstract interpretation, generic programming, complexity analysis |
1 | Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson |
Type-theoretic design patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 13-22, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
functional objects, language features, formal method, object-oriented programming, design patterns, functional programming, reasoning, dependent types, program correctness, visitor pattern |
1 | Pablo Nogueira |
Context-parametric polykinded types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 45-54, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
constrained types, generic haskell, kind-indexed types, polykinded types, polytypic programming |
1 | Gustav Munkby, Andreas P. Priesnitz, Sibylle Schupp, Marcin Zalewski |
Scrap++: scrap your boilerplate in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 66-75, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
C++, extensibility, generic programming |
1 | Adriaan Moors, Frank Piessens, Wouter Joosen |
An object-oriented approach to datatype-generic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 96-106, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
datatype-genericity, scala, polytypic programming |
1 | Jeremy Gibbons |
Design patterns as higher-order datatype-generic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 1-12, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
design patterns, functional programming, generic programming, unfolds, folds, higher-order functions |
1 | Ralf Hinze (eds.) |
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![ACM, 1-59593-492-8 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stephen M. Watt |
A technique for generic iteration and its optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 76-86, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
generic program, iterators |
1 | Martin Sulzmann, Meng Wang 0002 |
Modular generic programming with extensible superclasses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 55-65, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
generic programming, type classes |
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|