|
E
E number, 281
e numbers, 33
eager evaluation, 11
Edinburgh LCF, 11
Edinburgh syntax, 350
effable, 300
effectively enumerable, 302
eight queens problem, 138
Einstein’s Riddle, 399
empty expansion, 144 , 145
empty string, 61
empty vector, 84 , 88 , 201
encoding, 13 , 14 , 31 , 41 , 42 , 141 , 144 , 149 , 208 , 305 , 306 , 456 , 478
enriched Horn clauses, 367
enumeration, 241
enumeration type, 225 , 228
environment, 1 , 25 , 80 , 82 , 108 , 119 , 173 , 250 , 313 , 314 , 454 , 475 , 489
equality, 35 , 75 , 157 , 202 , 234 , 282 , 301 , 349 , 378 , 380 , 477
equality types, 202
equational specification, 25 , 26
equations, 5 , 8 , 25 , 26 , 27 , 28 , 32 , 36 , 37 , 38 , 39 , 41 , 157 , 161 , 165 , 167 , 406
error message, 25 , 194 , 198
error objects, 419
exception, 122 , 123 , 432 , 454
explicitly typed, 198
extended ASCII, 61
external, 113
|
|
