|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 51 publication records. Showing 51 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ernesto Rodríguez, Wouter Swierstra |
Datatype generic programming in F#.  |
WGP@ICFP  |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alp Mestanogullari, Sönke Hahn, Julian K. Arni, Andres Löh |
Type-level web APIs with Servant: an exercise in domain-specific generic programming. |
WGP@ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Firsov, Tarmo Uustalu |
Dependently typed programming with finite sets. |
WGP@ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr, Sebastian Erdweg (eds.) |
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015 |
WGP@ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bracht Laumann Jespersen, Philip Munksgaard, Ken Friis Larsen |
Session types for Rust. |
WGP@ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Slesarenko, Alexander Filippov, Alexey Romanov |
First-class isomorphic specialization by staged evaluation. |
WGP@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr |
Composing and decomposing data types: a closed type families implementation of data types à la carte. |
WGP@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Larry Diehl, Tim Sheard |
Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL. |
WGP@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley |
Algebraic effects and effect handlers for idioms and arrows. |
WGP@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno C. d. S. Oliveira |
Functional programming, object-oriented programming and algebras! |
WGP@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Roberts, Anthony M. Sloane |
Type inference for the spine view of data. |
WGP@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | José Pedro Magalhães, Tiark Rompf (eds.) |
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP 2014, Gothenburg, Sweden, August 31, 2014 |
WGP@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsko de Vries, Andres Löh |
True sums of products. |
WGP@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Williams, Pierre-Évariste Dagand, Didier Rémy |
Ornaments in practice. |
WGP@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Larisse Voufo, Marcin Zalewski, Andrew Lumsdaine |
Scoping rules on a platter: a framework for understanding and specifying name binding. |
WGP@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David Raymond Christiansen |
Dependent type providers. |
WGP@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr, Laurence E. Day |
Programming macro tree transducers. |
WGP@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze, Nicolas Wu |
Histo- and dynamorphisms revisited. |
WGP@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Given-Wilson, Freeman Huang, Barry Jay |
Multi-polymorphic programming in bondi. |
WGP@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Bezirgiannis, Johan Jeuring, Sean Leather |
Usage of generic programming on hackage: experience report. |
WGP@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis V. Dubrov |
N queens problem: a metaprogramming stress test for the compiler. |
WGP@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Jeremiah Willcock (eds.) |
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, WGP 2013, Boston, Massachusetts, USA, September 28, 2013 |
WGP@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Keuchel, Tom Schrijvers |
Generic datatypes à la carte. |
WGP@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Bransen, José Pedro Magalhães |
Generic representations of tree transformations. |
WGP@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaakko Järvi, Magne Haveraaen, John Freeman, Mat Marcus |
Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious. |
WGP@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Frisby, Andy Gill, Perry Alexander |
A pattern for almost homomorphic functions. |
WGP@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Keuchel, Johan Jeuring |
Generic conversions of abstract syntax representations. |
WGP@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | José Pedro Magalhães |
The right kind of generic programming. |
WGP@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Seyed H. Haeri, Sibylle Schupp, Jonathan J. Hüser |
Using functional languages to facilitate C++ metaprogramming. |
WGP@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley |
Embedding F. |
WGP@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, José Pedro Magalhães |
Sorting with bialgebras and distributive laws. |
WGP@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andres Löh, Ronald Garcia (eds.) |
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012 |
WGP@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Hamana, Marcelo P. Fiore |
A foundation for GADTs and inductive families: dependent polynomial functor approach. |
WGP@ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer |
Embedding polymorphic dynamic typing. |
WGP@ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr, Tom Hvitved |
Compositional data types. |
WGP@ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Pedro Magalhães, Johan Jeuring |
Generic programming for indexed datatypes. |
WGP@ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Larisse Voufo, Marcin Zalewski, Andrew Lumsdaine |
ConceptClang: an implementation of C++ concepts in Clang. |
WGP@ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsiang-Shang Ko, Jeremy Gibbons |
Modularising inductive families. |
WGP@ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaakko Järvi, Shin-Cheng Mu (eds.) |
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011 |
WGP@ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze, Nicolas Wu |
Towards a categorical foundation for generic programming. |
WGP@ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell O'Connor |
Video presentation of Functor : Lens : : Applicative : Biplate: Introducing Multiplate. |
WGP@ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andres Löh, José Pedro Magalhães |
Generic programming with indexed functors. |
WGP@ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Meng Wang 0002, Bruno C. d. S. Oliveira |
What does aspect-oriented programming mean for functional programmers? |
WGP@ICFP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons, Ross Paterson |
Parametric datatype-genericity. |
WGP@ICFP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eelco Lempsink, Sean Leather, Andres Löh |
Type-safe diff for families of datatypes. |
WGP@ICFP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Carl Backhouse, Richard S. Bird, Paul F. Hoogendijk |
Meeting a fanclub: a lattice of generic shape selectors. |
WGP@ICFP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wendy Verbruggen, Edsko de Vries, Arthur Hughes |
Polytypic properties and proofs in Coq. |
WGP@ICFP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu David Liu, Christian Skalka, Scott F. Smith 0001 |
Type-specialized staged programming with process separation. |
WGP@ICFP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyrki Katajainen, Bo Simonsen |
Adaptable component frameworks: using vector from the C++ standard library as an example. |
WGP@ICFP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrik Jansson, Sibylle Schupp (eds.) |
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2, 2009 |
WGP@ICFP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lincke, Sibylle Schupp |
The function concept in C++: an empirical study. |
WGP@ICFP |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #51 of 51 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license