Inproceedings,

Higher Type Recursion and Self-Application as Control Structures.

, , and .
Formal Description of Programming Concepts, page 461-490. North-Holland, (1977)

Meta data

Tags

Users

  • @dblp

Comments and Reviews