Inductively defined functions in functional programming languages
R.M. BurstallVolume:
34
Year:
1987
Language:
english
Pages:
13
DOI:
10.1016/0022-0000(87)90031-6
File:
PDF, 646 KB
english, 1987