|
L
L, ix, xii, 48 , 49 , 52 , 57 , 59 , 62 , 66 , 69 , 71 , 72 , 73 , 78 , 145 , 146 , 147 , 151 , 168 , 176 , 177 , 178 , 182 , 183 , 184 , 195 , 201 , 212 , 229 , 230 , 231 , 263 , 264 , 277 , 283 , 284 , 309 , 349 , 366 , 376 , 381 , 382 , 392 , 394 , 403 , 404 , 405 , 406 , 407 , 408 , 411 , 412 , 413 , 414 , 415 , 421 , 425 , 426 , 427 , 432 , 433 , 434 , 436 , 447 , 470 , 479 , 481 , 482 , 484 , 486 , 487 , 488 , 489
L rule, 230 , 283 , 284 , 366 , 447
Lajos, 140 , 486
lambda calculus, 7 , 9 , 12 , 18 , 155 , 156 , 157 , 159 , 160 , 161 , 163 , 166 , 167 , 169 , 170 , 176
lambda convertible, 159
Landin, 11 , 309 , 486
language L, 150 , 309 , 443
Larch, 32
law of the excluded middle, 215
lazy evaluation, 11 , 124
lazy list, 124 , 125
lazy super quantifiers, 306
lazy types, 197
Lee, 481
left linear, 177
left rule, 212 , 213 , 217 , 218 , 230 , 254 , 346 , 438
lemma, 214
let rule, 419 , 420 , 429
lexical binding, 328
lexical category, 133 , 135
lexical scope, 328
linear recursion, 38 , 57 , 90 , 438
linearly separable, 275
linked process, 367 , 368 , 369
Linsky, 486
LIPS, 338 , 399 , 401
Lisp, 7 , 9 , 10 , 11 , 13 , 14 , 16 , 17 , 18 , 20 , 32 , 33 , 42 , 97 , 121 , 140 , 193 , 207 , 472 , 473 , 474 , 475 , 476 , 477 , 478 , 479 , 483 , 485 , 486 , 487 , 488 , 489 , 490
Lisp machines, 10 , 18
Lisp-1, 326
Lisp-2, 326 , 333 , 337
list, 8 , 9 , 10 , 12 , 36 , 45 , 48 , 49 , 50 , 51 , 55 , 56 , 57 , 59 , 66 , 69 , 71 , 73 , 76 , 78 , 93 , 97 , 132 , 133 , 134 , 135 , 138 , 177 , 181 , 188 , 189 , 193 , 195 , 196 , 197 , 200 , 201 , 218 , 219 , 235 , 417 , 418 , 419 , 422 , 423 , 424 , 425 , 426 , 427 , 451 , 452 , 453 , 454 , 456 , 457 , 458 , 459 , 463 , 464
list evaluation rule, 48
Liu, 140 , 486
Lloyd, 361 , 486
local assignment, 55 , 56 , 111 , 190 , 226 , 239
lock, 376 , 378 , 389 , 393 , 395 , 396
logic programming, xi, 1 , 162 , 208 , 209 , 210 , 220 , 259 , 344 , 346 , 347 , 368 , 375 , 404 , 475
logical constant, 211 , 216 , 229 , 298
logical variables, 211
lookup table, 52
Lopes, 224 , 487
Loveland, 487
LR rule, 212 , 230 , 231 , 232 , 284
|
|
