Abstraction from constructors and functional constructors and their applications
Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura · Wuhan University Journal of Natural Sciences · 2001
Structures using constructors are of ordinary use in functional programming to represent data structures of unbound size. Lack of associativity of constructors, however, hinders program analyses or efficient executions. This paper describes ideas of abstraction toward constructors, and similarly abstraction from constructing functions, which we call functional constructors. We demonstrate our ideas making program analyses easier and enable transformation to efficient execution.