|
|
|
|
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.  |
ICFP-WGP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastiaan Visser, Andres Löh |
Generic storage in Haskell. |
ICFP-WGP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring |
Generic selections of subexpressions. |
ICFP-WGP |
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 |
ICFP-WGP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Ken Friis Larsen |
Generic multiset programming for language-integrated querying. |
ICFP-WGP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze, Daniel W. H. James |
Reason isomorphically! |
ICFP-WGP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Adams 0001 |
Scrap your zippers: a generic zipper for heterogeneous types. |
ICFP-WGP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Conor McBride |
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation. |
ICFP-WGP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bryan Chadwick, Karl J. Lieberherr |
Algorithms for traversal-based generic programming. |
ICFP-WGP |
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. |
ICFP-WGP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Nogueira, Juan José Moreno-Navarro |
Bialgebra views: a way for polytypic programming to cohabit with data abstraction. |
ICFP-WGP |
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. |
ICFP-WGP |
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. |
ICFP-WGP |
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. |
ICFP-WGP |
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. |
ICFP-WGP |
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. |
ICFP-WGP |
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 |
ICFP-WGP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | 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 |
| 1 | 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 |
| 1 | Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson |
Type-theoretic design patterns. |
ICFP-WGP |
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. |
ICFP-WGP |
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++. |
ICFP-WGP |
2006 |
DBLP DOI BibTeX RDF |
C++, extensibility, generic programming |
| 1 | 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 |
| 1 | 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 |
| 1 | Ralf Hinze (eds.) |
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006 |
ICFP-WGP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen M. Watt |
A technique for generic iteration and its optimization. |
ICFP-WGP |
2006 |
DBLP DOI BibTeX RDF |
generic program, iterators |
| 1 | Martin Sulzmann, Meng Wang 0002 |
Modular generic programming with extensible superclasses. |
ICFP-WGP |
2006 |
DBLP DOI BibTeX RDF |
generic programming, type classes |
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license