Last update: Sat Oct 21 02:07:46 MDT 2023
Return to index directory
L
-
L, 6(1)189--193, 7(4)447--449
-
L, P.-, 11(5)589--589
-
La Encina, Alberto, De, 19(1)47--94
-
Lack, Stephen, 19(3)265--286
-
Lack:2009:GUD, 19(3)265--286
-
Lakin, Matthew R., 23(6)658--700
-
Lakin:2013:CEI, 23(6)658--700
-
lambda, 1(2)229--233, 1(3)367--372, 2(2)233--236, 2(3)345--364,
2(3)367--374, 4(4)435--477, 5(4)637--651, 7(3)265--301,
7(5)515--540, 8(3)275--317, 9(3)247--277, 10(1)121--134,
12(6)549--566, 13(3)509--543, 14(6)623--633, 15(1)101--127,
23(5)594--628, 25(z)z, 26(z)z, 27(z)z, 31(z)z
-
Lambda-Calculi, 11(5)589--589
-
Lambda-Calculus, 21(1)115--117
-
lambda-calculus, 1(1)21--69, 14(5)519--546
-
lambda-encodings, 26(z)z
-
lambda-free, 13(2)317--338
-
lambda-sigma, 8(2)131--176
-
lambda-terms, 26(z)z
-
Lambert, Tim, 3(1)5--34
-
Lambert:1993:UMF, 3(1)5--34
-
LAML, 15(1)53--65
-
Lampropoulos, Leonidas, 26(z)z
-
Lampropoulos, Leonidas, see Hritcu, Catalin
-
langage, 0(0)ix--194
-
Langages, 0(0)ix--194
-
Lange, Martin, 21(2)135--157
-
Lange, Martin, see Friedmann, Oliver
-
{Language}-Based, 15(2)129--129
-
Langworthy, David, 22(1)31--105
-
Langworthy, David, see Bierman, Gavin M.
-
Lapalme, 13(4)828--829
-
Lapalme, Guy, 0(0)xi--235, 1(2)213--227, 5(3)443--460, 8(5)493--502
-
Lapalme, Guy, see Major, François,
see Rabhi, Fethi, \see{Turcotte, Marcel
-
Lapalme:1998:DTA, 8(5)493--502
-
large, 0(0)xvi--133, 0(0)xxvi--586
-
large-scale, 8(3)201--237, 32(z)z
-
Lassen, S{\o}ren B., 9(4)373--426, see Gordon, Andrew D.
-
last, 0(0)xv--240, 3(1)117--122
-
Latour, Thomas, De Grenier De, 15(2)179--217
-
lattice-based, 6(3)419--444
-
lattices, 2(4)475--503
-
Lauchbury, 9(1)105--111
-
Läufer, Konstantin, 6(3)485--518
-
Laufer:1996:TCE, 6(3)485--518
-
Launchbury, 2(3)365--365, 28(z)z
-
Launchbury, John, 0(0)xii--163, 6(4)563--585
-
Launchbury:1991:PFP, 0(0)xii--163
-
Launchbury:1996:RDP, 6(4)563--585
-
law, 0(0)xi--277, 27(z)z
-
Lawall, Julia, 18(5)565--566
-
Lawall:2008:E, 18(5)565--566
-
Lawvere, 19(3)265--286
-
layout, 7(5)451--485, 8(5)493--502, 21(3)309--329
-
lazy, 0(0)xxiii--657, 2(2)127--202, 3(1)77--92, 3(1)93--115,
3(2)217--245, 4(3)337--369, 6(1)29--46, 7(2)183--217, 7(2)219--225,
7(3)231--264, 7(5)541--547, 8(1)61--81, 8(3)201--237, 8(4)323--333,
9(6)579--603, 11(5)557--587, 11(6)629--671, 16(1)75--81,
21(4)413--465, 22(4)382--438, 28(z)z
-
LCF, 9(2)191--223
-
Le Métayer, Daniel, 6(1)75--109, see Burn, Geoffrey
-
Lê, Dinh, 9(6)605--624
-
Le:1999:URM, 9(6)605--624
-
leaks, 2(1)73--79, 32(z)z
-
LeanPub, 30(z)z
-
learn, 0(0)xvi--133, 0(0)xviii--375, 0(0)xxvi--586, 0(0)0--0,
23(3)351--352, 25(z)z
-
learning, 0(0)xviii--363, 0(0)xxiii--402, 10(5)501--508, 15(1)15--32
-
least, 7(4)357--394
-
Lecture, 2(2)227--231, 9(1)105--111
-
Lee, Peter, 6(4)621--655
-
Lee, Peter, see Hartel, Pieter H.
-
left, 14(1)69--111, 29(z)z, 30(z)z, 33(z)z
-
left-associated, 10(6)607--623
-
left-zero, 27(z)z
-
Leftmost, 7(2)129--161
-
Leibniz, 30(z)z
-
Leifer, J. J., 6(2)365--373
-
Leifer, James J., 17(4)547--612
-
Leifer, James J., see Sewell, Peter
-
Leifer:1996:FPD, 6(2)365--373
-
Leivant, Daniel, 11(1)1--1
-
Leivant:2001:E, 11(1)1--1
-
lemmas, 32(z)z, 33(z)z
-
Lengauer, Christian, 9(3)279--310
-
Lengauer, Christian, see Herrmann, Christoph A.
-
Lengrand, Stéphane, Graham-, 30(z)z
-
lens, 28(z)z
-
Leroy, Xavier, 3(4)431--463, 6(4)621--655, 6(5)667--698, 10(3)269--303,
19(2)143--143, 19(5)489--490, 21(4)331--332
-
Leroy, Xavier, see Hartel, Pieter H.,
see Tolmach, Andrew
-
Leroy:1993:DM, 3(4)431--463
-
Leroy:1996:STT, 6(5)667--698
-
Leroy:2000:MMS, 10(3)269--303
-
Leroy:2009:Ea, 19(2)143--143
-
Leroy:2009:Eb, 19(5)489--490
-
Lescanne, Pierre, 6(5)699--722, 23(5)594--628, 25(z)z
-
Lescanne, Pierre, see Benaissa, Zine-El-Abidine,
see Grygiel, Katarzyna
-
Leser, Ulf, 27(z)z
-
Leser, Ulf, see Brandt, Jörgen
-
less, 0(0)xvii--485, 7(5)541--547, 23(4)357--401
-
lesson, 16(1)13--20
-
Lessons, 3(4)527--552
-
Lester, David, 16(3)281--291
-
Lester, David, see Gibbons, Jeremy
-
level, 0(0)xvi--133, 0(0)xviii--471
-
level, High-, 17(4)547--612
-
level, high-, 13(6)1005--1059
-
level, Two-, 14(5)547--587
-
Levin, Michael Y., 12(6)511--548, 13(2)295--316
-
Levin, Michael Y., see Gapeyev, Vladimir
-
Levin:2003:TLP, 13(2)295--316
-
Lévy, J.-J., 1(4)375--416, see Abadi, M.
-
Lewis, 24(5)608--609
-
Lewis, Mark C., 0(0)z
-
Lewis:2013:IAP, 0(0)z
-
Lexical, 5(2)225--277, 13(1)7--16
-
LF, 23(1)1--37
-
Li, Huiqing, 23(3)293--350
-
Li, Huiqing, see Thompson, Simon
-
Li, Yao, 31(z)z
-
Li, Yao, see Breitner, Joachim
-
Li, Yufeng, 33(z)z
-
Li, Yufeng, see Chan, Jonathan
-
library, 0(0)xxiii--402, 1(1)71--89, 3(4)527--552, 5(3)415--442,
14(4)429--472, 16(2)250--251, 21(3)309--329, 23(3)229--248, 27(z)z
-
Licata, Daniel R., 17(4)613--673, 26(z)z, 31(z)z, 32(z)z
-
Licata, Daniel R., see Angiuli, Carlo,
see Danner, Norman, \see{Harper, Robert,
see New, Max S.
-
life, 11(1)55--94
-
lift, 10(3)245--268
-
lifting, 5(4)549--581, 13(3)509--543
-
Light, 0(0)ix--194
-
lightweight, 18(3)285--331, 20(2)137--173, 20(3)375--413
-
Lilac, 4(4)395--433
-
Lillibridge, Mark, 6(3)393--418
-
Lillibridge, Mark, see Harper, Robert
-
Limited, 8(4)445--446
-
Lin, 7(2)227--229, 24(2)419--421
-
Lindeman, 24(2)419--421
-
Lindley, Sam, 20(1)51--69, 30(z)z
-
Lindley, Sam, see Convent, Lukas,
see Hillerström, Daniel
-
Lindley:2010:AC, 20(1)51--69
-
Lindsay, Peter, 3(1)5--34
-
Lindsay, Peter, see Lambert, Tim
-
line, 29(z)z
-
line, off-, 3(3)315--346, 5(4)461--500
-
line, On-, 5(4)461--500
-
lineage-based, 28(z)z
-
linear, 2(1)61--72, 4(4)395--433, 5(1)65--80, 6(2)195--244, 7(5)515--540,
10(2)167--190, 14(6)623--633, 18(3)333--371, 19(1)1--16,
20(1)19--50, 22(3)300--374, 26(z)z, 31(z)z
-
linear-time, 25(z)z
-
linearash, 9(3)247--277
-
Linearization, 14(5)519--546
-
Lins, Rafael D., 4(1)47--63, 6(4)621--655, 10(5)501--508
-
Lins, Rafael D., see Hartel, Pieter H.
-
Lins:1994:EBC, 4(1)47--63
-
Lins:2000:BRR, 10(5)501--508
-
Linux, 20(5)577--615
-
Lipovaca, 23(3)351--352
-
Lipova{\v{c}a}, Miran, 0(0)xviii--375
-
Lipovaca:2012:LYH, 0(0)xviii--375
-
LISP, 0(0)xxiii--657, 0(0)0--0
-
Lisper, Björn, 4(4)479--498
-
Lisper:1994:TUT, 4(4)479--498
-
list, 2(4)505--513, 13(1)179--190, 30(z)z
-
listen, 0(0)xvi--133
-
literacy, 14(5)475--488
-
little, 12(6)617--622, 20(1)3--18, 30(z)z
-
Liu, 24(1)128--130
-
Liu, Hai, 21(4)467--496
-
Liu, Yanhong Annie, 0(0)xv--240
-
Liu:2011:CCA, 21(4)467--496
-
Liu:2013:SPD, 0(0)xv--240
-
Ljunglöf, Peter, 14(6)669--680
-
Ljunglof:2004:FPF, 14(6)669--680
-
Llenguatges, 0(0)vi--142
-
Lloyd, 17(3)423--424
-
LNCS, 14(2)249--251
-
local, 13(1)231--232, 21(4)333--412, 22(4)477--528, 30(z)z
-
locality, 19(1)107--142
-
localization, 27(z)z
-
locally, 21(3)235--286
-
Loci, 15(3)477--502
-
lockstep, 29(z)z
-
Löf's, Martin-, 8(4)413--436
-
Löf, Martin-, 30(z)z
-
logarithmic, 14(6)697--713
-
logic, 0(0)xiv--427, 0(0)xv--240, 0(0)xvi--350, 0(0)xix--681,
0(0)xx--472, 2(3)273--321, 4(0)x--426, 4(4)395--433, 4(4)557--559,
6(2)195--244, 7(1)73--101, 8(2)97--129, 8(5)503--525, 8(6)543--572,
9(5)527--564, 11(4)433--436, 12(0)vii--390, 14(3)253--261,
15(4)543--572, 15(6)837--891, 16(2)249--250, 18(3)421--422,
19(2)253--254, 21(6)663--664, 24(2)284--315, 25(z)z, 28(z)z
-
logic-verified, separation-, 31(z)z
-
logical, 8(2)177--193, 10(1)77--89, 10(1)135--136, 13(2)257--260,
13(2)317--338, 17(4)473--546, 17(4)613--673
-
Löh, Andres, 14(6)635--646, 20(5)577--615,
see Baars, Arthur I., \see{Dolstra, Eelco
-
Loidl, 13(4)823--824
-
Loidl, H.-W., 8(1)23--60, 12(4)469--510
-
Loidl, H.-W., see Trinder, P. W.
-
Loidl, Hans-Wolfgang, 26(z)z
-
Loidl, Hans-Wolfgang, see Berthold, Jost
-
long, 0(0)xxiii--402
-
long-awaited, 0(0)xxiii--657
-
Longest, 31(z)z
-
Longo, Giuseppe, 1(4)417--458
-
Longo, Giuseppe, see Cardelli, Luca
-
Loogen, R., 26(z)z
-
Loogen, R., see Dieterle, M.
-
Loogen, Rita, 15(3)431--475
-
Loogen:2005:PFP, 15(3)431--475
-
look, 11(6)629--671, 12(6)601--607, 23(1)1--37
-
lookahead, 14(6)697--713
-
loop, 0(0)xiii--448, 9(3)279--310, 28(z)z
-
looping, 4(1)77--88
-
Loosemore, Sandra, 6(4)621--655
-
Loosemore, Sandra, see Hartel, Pieter H.
-
Loulergue, Frèdèric, 14(5)592--594
-
Loulergue:2004:BRD, 14(5)592--594
-
Lourenço, Hugo, 27(z)z, see Seco, João Costa
-
Loverdos, 22(6)854--855
-
Loverdos, Christos K. K., 0(0)xvii--485
-
Loverdos:2010:SSI, 0(0)xvii--485
-
Lubeck, Olaf, 5(3)283--316
-
Lubeck, Olaf, see Hammes, Jeffrey
-
Luke, Edward A., 15(3)477--502
-
Luke:2005:LRB, 15(3)477--502
-
Luksic, Ziga, 30(z)z
-
Luksic:2020:LAE, 30(z)z
-
Lumsdaine, Andrew, 17(2)145--205
-
Lumsdaine, Andrew, see Garcia, Ronald
-
Luo, Zhaohui, 13(2)317--338
-
Luo:2003:PLF, 13(2)317--338
-
Lüth, C., 9(2)167--189
-
Lüth, Christoph, 13(6)1077--1085
-
Luth:1999:FDI, 9(2)167--189
-
Luth:2003:HSI, 13(6)1077--1085