Last update: Sun Oct 15 02:16:54 MDT 2017
Return to index directory
M
-
machine, 20(3)199--207, 20(3)209--230, 20(3)231--235, 20(3)237--255,
20(3)257--270, 20(3)271--293, 20(3)295--318, 20(3)319--332,
20(3)333--335, 21(1)119--146, 25(2)209--253
-
machine;, SECD-, 20(3)319--332
-
Mackie, Ian, 23(1)1--27
-
Mackie, Ian, see Alves, Sandra
-
Macro, 20(4)371--401
-
Macrogeneration, 13(1)57--63
-
Magic-sets, 23(1)29--86
-
Mairson, Harry, 16(1)5--6, 18(1)5--6, 18(1)7--8
-
Mairson, Harry, see Danvy, Olivier
-
Mairson:2005:RP, 18(1)7--8
-
Make, 18(3)245--269
-
Making, 23(3)315--335
-
Malecha, Gregory, 24(1)81--114
-
Malecha, Gregory, see Salama, Cherif
-
Manacero, Aleardo, 23(3)275--313
-
Manacero, Aleardo, see Lakhotia, Arun
-
management, 17(3)245--265, 20(4)431--460, 21(1)119--146
-
manipulation, 17(1)47--92
-
Marché, Claude, 21(1)59--88, see Durán, Francisco
-
Marlet, Renaud, 12(4)309--335, 13(3)161--178
-
Marlet, Renaud, see Chirokoff, Sandrine,
see Thibault, Scott
-
Martel, Matthieu, 19(1)7--30
-
Martel:2006:SRE, 19(1)7--30
-
Martí-Oliet, Narciso, 20(1)1--2
-
Marti-Oliet:2007:E, 20(1)1--2
-
Mason, Ian, 17(4)275--275, 21(4)359--359
-
Mason, Ian, see Danvy, Olivier
-
Mason, Ian A., 12(2)171--201, 16(3)161--202
-
Mason, Ian A., see Ford, Jonathan
-
Mason:1999:CC, 12(2)171--201
-
Mastroeni, Isabella, 16(4)297--339, 17(4)297--345
-
Mastroeni, Isabella, see Giacobazzi, Roberto
-
Mastroeni:2004:APA, 17(4)297--345
-
matching, 19(4)345--376, 20(1)37--72
-
Mathematical, 13(1)135--152
-
Matsuda, Kazutaka, 25(1)3--38, 25(1)39--84
-
Matsuda, Kazutaka, see Kobayashi, Naoki
-
Matsuda:2012:PTI, 25(1)3--38
-
Maude, 20(1)161--196
-
may-alias, 18(1)15--49
-
McCarthy, Jay, 20(4)431--460
-
McCarthy, Jay, see Krishnamurthi, Shriram
-
Mechanising, 19(2)169--195
-
membership, 21(1)59--88
-
Memory, 17(3)245--265
-
Meseguer, José, 20(1)123--160, 20(1)161--196, 21(1)59--88,
see Durán, Francisco,
see Ölveczky, Peter Csaba
-
Meseguer:2007:SRA, 20(1)123--160
-
messages, 24(1)3--39
-
meta-programming, 21(1)5--35, 22(2)115--144
-
Metcast, 18(3)355--370
-
method, 16(4)379--400
-
Meunier, Philippe, 18(3)245--269
-
Meunier:2005:SMS, 18(3)245--269
-
Meur, Anne-Françoise, Le, 17(1)47--92
-
Michaelson, G. J., 16(3)203--251
-
Michaelson, G. J., see Loidl, H.-W.
-
Michaelson, Greg, 22(4)305--312, 23(2)191--226
-
Michaelson, Greg, see Grov, Gudmund,
see Hammond, Kevin
-
microcontroller, 18(3)271--298
-
Microcontrollers, 18(3)271--298
-
Miculan, Marino, 19(2)283--304
-
Miculan, Marino, see Gadducci, Fabio
-
Middelkoop, Arie, 23(2)145--166
-
Middelkoop:2010:LSG, 23(2)145--166
-
Milne, Robert, 13(1)77--81
-
Milne:2000:LCI, 13(1)77--81
-
Miné, Antoine, 19(1)31--100
-
Mine:2006:OAD, 19(1)31--100
-
Minimal, 20(4)403--429
-
minimalistic, 22(2)145--154
-
ML, 11(2)209--225, 14(4)309--356, 17(3)245--265
-
Mnemonics, 23(3)371--407
-
mode, forward-, 21(4)361--376
-
model, 11(3)281--343, 13(1)119--129, 13(4)315--353, 14(1)59--91,
16(4)379--400, 17(3)173--206, 20(1)161--196
-
module, 18(3)299--326, 24(3)207--237
-
Moessner, 24(3)191--206
-
Mogensen, Torben Æ., 13(3)217--237, 13(4)355--368
-
Mogensen:2000:GPE, 13(4)355--368
-
Mogensen:2000:LTS, 13(3)217--237
-
Möller, Bernhard, 18(1)51--77, see Desharnais, Jules
-
Monad, 19(2)263--282, 19(4)377--414
-
monad;, Pseudo-, 19(2)305--337
-
Monniaux, David, 22(2)145--154
-
Monniaux:2009:MLW, 22(2)145--154
-
monoidal, 19(2)305--337
-
Montanari, Ugo, 19(2)283--304
-
Montanari, Ugo, see Gadducci, Fabio
-
Moor, Oege de, 16(1)15--35, 19(1)5--5
-
Moor, Oege de, see Danvy, Olivier
-
Moore, 21(1)37--58
-
Moors, Adriaan, 25(1)165--207
-
Moors, Adriaan, see Rompf, Tiark
-
Morazán, Marco T., 23(4)465--487, see Achten, Peter
-
more, 12(1)75--104, 23(3)315--335, 23(4)489--506
-
Moreau, Luc, 11(3)233--279, 14(4)357--386
-
Moreau, Pierre-Etienne, 19(4)343--344
-
Moreau, Pierre-Etienne, see Danvy, Olivier
-
Moreau:1998:STD, 11(3)233--279
-
Moreau:2001:TRD, 14(4)357--386
-
Morimoto, Takeshi, 24(4)281--309
-
Morimoto, Takeshi, see Iwasaki, Hideya
-
Mosses, Peter D., 13(1)7--9
-
Mosses:2000:FFC, 13(1)7--9
-
MSR, 20(1)3--35
-
Mu, Shin-Cheng, 21(1)89--118
-
Mu, Shin-Cheng, see Hu, Zhenjiang
-
Muller, Gilles, 13(3)161--178
-
Muller, Gilles, see Thibault, Scott
-
multi-tier, 23(4)409--431
-
multiple, 25(1)3--38
-
multiplication, 16(4)379--400
-
Multiprocessing, 12(3)283--283, 12(3)285--299
-
multiset, 20(1)3--35, 23(3)337--370
-
mutual, 18(3)299--326
-
Myers, Andrew C., 15(2)209--234
-
Myers, Andrew C., see Zdancewic, Steve
-
MzScheme, 25(2)209--253