Typed path polymorphism

Ayala-Rincon, M; Bonelli, E; Edi, J; Viso, A

Ayala-Rincon, M (reprint author), Univ Brasilia, Brasilia, DF, Brazil.; Bonelli, E (reprint author), Univ Nacl Quilmes, Bernal, Argentina.; Bonelli, E (reprint author), Stevens Inst Technol, Hoboken, NJ 07030 USA.; Edi, J; Viso, A (reprint author), Univ B

THEORETICAL COMPUTER SCIENCE, 2019; 781 (): 111

Abstract

Path polymorphism enables the definition of functions uniformly applicable to arbitrary recursively specified data structures. Path polymorphic functi......

Full Text Link