Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1996-2023 (8)
Publication types (Num. hits)
article(2) inproceedings(6)
Venues (Conferences, Journals, ...)
TYPES(2) CGO(1) CMCS(1) CoRR(1) FoSSaCS(1) ICFP(1) Theor. Comput. Sci.(1)
Authors
Andreas Abel 0001(3) Ralph Matthes(3) Daniel Donenfeld(2) Fredrik Kjolstad(2) Saman P. Amarasinghe(2) Tarmo Uustalu(2) Willow Ahrens(2) Brian T. Howard(1) Daniela Cancila(1) Furio Honsell(1) Marina Lenisa(1) Milad Niqui(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
99Milad Niqui Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Coiteration, Bisimulation, Coalgebra, Coq, Coinduction
63Andreas Abel 0001, Ralph Matthes, Tarmo Uustalu Generalized Iteration and Coiteration for Higher-Order Nested Datatypes. Search on Bibsonomy FoSSaCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Willow Ahrens, Daniel Donenfeld, Fredrik Kjolstad, Saman P. Amarasinghe Looplets: A Language for Structured Coiteration. Search on Bibsonomy CGO The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
36Willow Ahrens, Daniel Donenfeld, Fredrik Kjolstad, Saman P. Amarasinghe Looplets: A Language For Structured Coiteration. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
36Andreas Abel 0001, Ralph Matthes, Tarmo Uustalu Iteration and coiteration schemes for higher-order and nested datatypes. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Daniela Cancila, Furio Honsell, Marina Lenisa Generalized Coiteration Schemata. Search on Bibsonomy CMCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Andreas Abel 0001, Ralph Matthes (Co-)Iteration for Higher-Order Nested Datatypes. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Brian T. Howard Inductive, Coinductive, and Pointed Types. Search on Bibsonomy ICFP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (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