共 4 条
[1]
BARENDREGT H, SPRINGER LECTURE NOT, V224
[2]
Sedgewick R., 1983, ALGORITHMS
[3]
TURNER D, 1985, SPRINGER LECTURE NOT, V201
[4]
FUNCTIONAL PROGRAMS AS EXECUTABLE SPECIFICATIONS
[J].
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES,
1984, 312 (1522)
:363-388