|
H
Halting Problem, 47 , 161
Harrison, 18 , 47 , 483
hash, 14 , 90 , 91 , 92 , 456
hash table, 14 , 90 , 91
Haskell, 12 , 18 , 53 , 70 , 71 , 124 , 198 , 208 , 209 , 305 , 490
Hausner, 79
help function, 38
Hendrix, 484
Henkin, 484
Henson, 46 , 484
Hett, 138 , 139 , 206
Hewitt, 140 , 484
Hickey, 13
higher-order, 9 , 69 , 73 , 74 , 75 , 78 , 79 , 123 , 129 , 130 , 143 , 189 , 203 , 270 , 286 , 306 , 354 , 453
higher-order programming, 9 , 189
Hilbert proof, 263 , 265
Hindley, 155 , 169 , 484
Hodges, 18 , 224 , 485
home directory, 30 , 453
Horn clause, 208 , 219 , 220 , 339 , 340 , 342 , 343 , 345 , 346 , 348 , 353 , 356 , 357 , 358 , 360 , 376
Horn clause procedure, 353
Hughes, 1 , 79 , 485
hypotheses, 210 , 214 , 229 , 234 , 241 , 245 , 368 , 370 , 371 , 372 , 373 , 444 , 446 , 449 , 450
|
|
