Baidu
map

CoCaml: Functional Programming with Regular Coinductive Types

Jeannin, JB; Kozen, D; Silva, A

Silva, A (reprint author), UCL, Dept Comp Sci, London WC1E 6BT, England.

FUNDAMENTA INFORMATICAE, 2017; 150 (3-4): 347

Abstract

Functional languages offer a high level of abstraction, which results in programs that are elegant and easy to understand. Central to the development ......

Full Text Link


Baidu
map
Baidu
map
Baidu
map