|
F
factorial, 8 , 11 , 36 , 37 , 38 , 40 , 44 , 420
factorisation, 184
Faé, 483
failure, 130 , 134 , 135 , 140 , 177 , 221 , 222
failure function, 129
failure object, 88 , 130
Ferber, 483
Fermat test, 46
Fibonacci, 39 , 46
field, 32 , 141 , 210 , 241 , 258
Field, 18 , 47 , 483
findall, ix, 351 , 356 , 361 , 397
finite, 7 , 25 , 34 , 36 , 49 , 138 , 223 , 225 , 232 , 299 , 300 , 303 , 342
finite state machine, 138
first-class objects, 69
first-order logic, 161 , 201 , 208 , 209 , 210 , 215 , 220 , 299 , 301 , 340 , 346 , 361
fixpoint, 74 , 167 , 455
flag, 181 , 393 , 394 , 395 , 396
float, 279 , 281 , 470
floating point numbers, 20 , 33 , 34
foreign, 72 , 99 , 455 , 473
formal parameters, 42
frame, 10
Franzen, 208
free, 9 , 11 , 28 , 56 , 132 , 156 , 157 , 158 , 159 , 169 , 193 , 215 , 216 , 217 , 218 , 361 , 417 , 428 , 469
free variables, 28 , 70 , 164 , 238 , 239 , 389 , 428
freeze, 124 , 126 , 172 , 197 , 379 , 381 , 385 , 386 , 387 , 389 , 391 , 395 , 396 , 455
fresh, 111 , 178 , 184 , 216 , 217 , 218 , 417 , 418 , 420 , 421 , 428 , 429 , 436 , 439 , 441 , 443 , 456
fully qualified name, 112
Functional Abstract Machine, 11
|
|
