Last update: Sun Oct 15 02:16:54 MDT 2017
Return to index directory
L
-
labels, 11(2)117--123, 11(2)125--143, 22(4)313--314, 22(4)315--329
-
Lacey, David, 16(1)15--35, 17(3)173--206
-
Lacey, David, see Moor, Oege de
-
Lacey:2004:COC, 17(3)173--206
-
Lakhotia, Arun, 23(3)275--313
-
Lakhotia:2010:CSA, 23(3)275--313
-
Lambda, 11(4)405--439, 13(3)217--237, 20(3)231--235, 20(3)271--293,
20(3)319--332
-
\lambda, 20(3)295--318
-
Lambda-Calculus, 15(1)57--90
-
lambda-calculus, 18(3)371--388, 19(4)377--414, 20(3)199--207,
20(3)319--332, 20(3)333--335
-
Lambda-{I}-Calculus, 16(3)253--285
-
Landin, 11(2)117--123, 22(2)191--195, 22(4)295--298, 22(4)299--303,
22(4)305--312, 22(4)313--314, 22(4)331--332
-
Landin, P. J., 22(4)315--329
-
Landin, Peter J., 11(2)125--143, 13(1)75--76, 22(4)333--359
-
Landin:1998:GJL, 11(2)125--143
-
Landin:2000:MYS, 13(1)75--76
-
Landin:2009:CHH, 22(4)333--359
-
Landin:2009:GRL, 22(4)315--329
-
Lang, Frédéric, 20(3)257--270
-
Lang:2007:ELK, 20(3)257--270
-
language, 11(1)7--105, 11(4)363--397, 12(3)221--236, 13(1)7--9,
13(1)11--49, 13(1)51--55, 13(1)77--81, 14(1)7--34, 14(2)143--172,
16(3)203--251, 16(4)379--400, 17(3)207--243, 18(1)211--235,
18(3)271--298, 20(1)3--35, 20(3)237--255, 21(1)59--88, 22(1)3--66,
24(1)151--189, 25(1)127--163
-
Language, Programming-, 13(1)89--101
-
Larsen, Ken Friis, 23(3)337--370
-
Larsen, Ken Friis, see Henglein, Fritz
-
lattice, 18(1)51--77
-
law, 19(2)305--337
-
Lawall, Julia, 18(3)243--244, 21(1)1--3, 21(3)237--238, 24(1)1--2,
25(1)1--2, 26(1)1--2
-
Lawall, Julia, see Danvy, Olivier,
see Felleisen, Matthias,
see Kiselyov, Oleg,
see Zsók, Viktória
-
Lawall, Julia L., 13(3)161--178, 14(2)99--100, 17(1)47--92
-
Lawall, Julia L., see Danvy, Olivier,
see Le Meur, Anne-Françoise,
see Thibault, Scott
-
Lawall:2008:E, 21(1)1--3
-
Lawall:2011:E, 24(1)1--2
-
laziness, 25(1)85--125
-
lazy, 20(3)257--270, 20(3)271--293, 21(1)147--192, 24(1)151--189,
24(4)281--309
-
Le Meur, Anne-Françoise, 17(1)47--92
-
lean, 23(2)145--166
-
least, 18(1)51--77
-
Lee, C. S., 12(2)203--212
-
Lee, Peter, 11(2)209--225, 14(4)309--356
-
Lee, Peter, see Biagioni, Edoardo
-
Lee:1999:PEE, 12(2)203--212
-
LeMeur:2004:SSP, 17(1)47--92
-
Leonard, Elizabeth I., 16(1)63--92
-
Leonard:2003:PSF, 16(1)63--92
-
Leroy, Xavier, 22(1)3--66, 22(3)199--231
-
Leroy, Xavier, see Dargaye, Zaynah,
see Hirschowitz, Tom
-
letrec, 18(3)299--326
-
Leuschel, Michael, 21(1)1--3, 21(1)5--35
-
Leuschel, Michael, see Barker, Steve,
see Lawall, Julia
-
level, high-, 17(3)207--243
-
Level, User-, 18(3)327--354
-
Levy, Paul Blain, 19(4)377--414
-
Levy:2006:CPV, 19(4)377--414
-
Lieberherr, Karl, 23(4)433--463
-
Lieberherr, Karl, see Chadwick, Bryan
-
light-weight, 21(1)119--146
-
Lillibridge, Mark, 6(3)361--380, 12(1)75--104, 16(4)401--401
-
Lillibridge, Mark, see Harper, Robert W.,
see Harper, Robert
-
Lillibridge:1999:UEC, 12(1)75--104
-
limitation, 16(4)379--400
-
limited, 16(4)379--400
-
Lin, Jia-Yin, 24(1)151--189
-
Lin, Jia-Yin, see Chen, Kung
-
Linear, 15(2)181--208, 15(2)209--234, 20(3)295--318
-
Linear-Time, 13(3)217--237
-
Linearity, 23(1)1--27
-
linguistic, 25(1)165--207
-
Lippi, Sylvain, 20(3)295--318
-
Lippi:2007:GKM, 20(3)295--318
-
Lispash, 22(1)81--111
-
Liu, Yanhong A., 13(4)289--313, 16(1)37--62
-
Liu, Yu David, 24(4)341--385
-
Liu:2000:EII, 13(4)289--313
-
Liu:2003:DPS, 16(1)37--62
-
Liu:2011:TSS, 24(4)341--385
-
Loading, 15(1)7--55
-
Local, 15(2)161--180
-
localised, 23(1)29--86
-
localization, 24(1)151--189
-
logic, 16(4)341--377, 17(1)7--46, 17(3)173--206, 18(1)121--210,
20(1)3--35, 20(1)73--122, 20(1)161--196, 20(3)295--318,
20(4)403--429, 21(1)5--35, 21(1)59--88, 21(1)193--234,
21(1)235--235, 21(4)377--409
-
Logic-Automata, 18(1)79--120
-
logical, 19(2)197--230, 24(1)41--80
-
Loidl, H.-W., 16(3)203--251
-
Loidl:2003:CPF, 16(3)203--251
-
Loogen, R., 16(3)203--251
-
Loogen, R., see Loidl, H.-W.
-
Loogen, Rita, 26(1)3--28
-
Loogen, Rita, see Horstmeyer, Thomas
-
look, 22(2)145--154
-
loop, 15(2)161--180
-
Lu, Lunjin, 16(4)341--377
-
Lu:2003:PDA, 16(4)341--377
-
Lucas, Salvador, 21(1)59--88
-
Lucas, Salvador, see Durán, Francisco