Every coalgebra for a well-founded functor on a category of families indexed by a well-founded relation is recursive.
Fokkinga, and Ross Paterson
2 Pith papers cite this work, alongside 513 external citations. Polarity classification is still indexing.
2
Pith papers citing it
513
external citations · OpenAlex
citation-role summary
background 1
citation-polarity summary
fields
cs.PL 2roles
background 1polarities
background 1representative citing papers
A new Java bytecode optimizer fuses map and filter into mapMulti to reduce stream overhead, sidestepping Streamliner's restrictions and delivering superior results in two of nine benchmarks while passing all 31,799 Kafka tests.
citing papers explorer
-
Intrinsically Correct Algorithms and Recursive Coalgebras
Every coalgebra for a well-founded functor on a category of families indexed by a well-founded relation is recursive.
-
Compile-Time Java Stream Fusion via mapMulti
A new Java bytecode optimizer fuses map and filter into mapMulti to reduce stream overhead, sidestepping Streamliner's restrictions and delivering superior results in two of nine benchmarks while passing all 31,799 Kafka tests.