Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for hylomorphisms with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1996-2020 (12)
Publication types (Num. hits)
article(5) inproceedings(7)
Venues (Conferences, Journals, ...)
ICFP(2) ACM SIGPLAN Notices(1) Algebraic and Coalgebraic Meth...(1) Calculemus/MKM(1) Complex Syst.(1) CoRR(1) Future Gener. Comput. Syst.(1) MPC(1) POPL(1) SAC(1) Softw. Pract. Exp.(1)
Authors
Paul Tarau(4) Jeremy Gibbons(3) David Castro 0006(2) Kevin Hammond(2) Susmit Sarkar(2) Alcino Cunha(1) David Llorens(1) Hideya Iwasaki(1) Jorge Sousa Pinto(1) Juan Miguel Vilar(1) Manuel Barbosa(1) Masato Takeichi(1) Nicolas Wu(1) Ralf Hinze(1) Yasir Alguwaifli(1) Zhenjiang Hu(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
86Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi Deriving Structural Hylomorphisms From Recursive Definitions. Search on Bibsonomy ICFP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
60Paul Tarau Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Ackermann encoding, Haskell data representations, computational mathematics, hereditarily finite functions, hereditarily finite sets, ranking/unranking
36Paul Tarau A Groupoid of Isomorphic Data Transformations. Search on Bibsonomy Calculemus/MKM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF computational mathematics in Haskell, data type transformations, ranking/unranking, Gödel numberings, higher order combinators, hylomorphisms
35David Llorens, Juan Miguel Vilar Easily solving dynamic programming problems in Haskell by memoization of hylomorphisms. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
35David Castro 0006, Kevin Hammond, Susmit Sarkar, Yasir Alguwaifli Automatically deriving cost models for structured parallel processes using hylomorphisms. Search on Bibsonomy Future Gener. Comput. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35David Castro 0006, Kevin Hammond, Susmit Sarkar Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
35Ralf Hinze, Nicolas Wu, Jeremy Gibbons Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Paul Tarau "Everything Is Everything" Revisited: Shapeshifting Data Types with Isomorphisms and Hylomorphisms. Search on Bibsonomy Complex Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
35Paul Tarau Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
25Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto Recursion patterns and time-analysis. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Jeremy Gibbons Streaming Representation-Changers. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Jeremy Gibbons Calculating Functional Programs. Search on Bibsonomy Algebraic and Coalgebraic Methods in the Mathematics of Program Construction The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license