A Scheme for Defining Partial Higher-Order Functions by Recursion.

William M. Farmer A Scheme for Defining Partial Higher-Order Functions by Recursion. 1999 conf/iwfm/1999 IWFM db/conf/iwfm/iwfm1999.html#Farmer99