Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space)

Authors:
  • LFLeonidas Fegaras
    Leonidas Fegaras
  • TSTim Sheard
    Tim Sheard

Abstract
No abstract available