Baidu
map

Fair enumeration combinators

New, MS; Fetscher, B; Findler, RB; Mccarthy, J

New, MS (reprint author), Northeastern Univ, Boston, MA 02115 USA.

JOURNAL OF FUNCTIONAL PROGRAMMING, 2017; 27 ( ):

Abstract

Enumerations represented as bijections between the natural numbers and elements of some given type have recently garnered interest in property-based t......

Full Text Link


Baidu
map
Baidu
map
Baidu
map