Last update: Sat Oct 21 02:07:46 MDT 2023
Return to index directory
M
-
M, 8(6)633--637, 11(2)253--262, 11(5)589--589, 14(2)247--249
-
MA, 2(2)227--231
-
machine, 0(0)xviii--471, 1(3)329--366, 2(1)23--59, 6(6)763--810,
7(3)231--264, 8(6)543--572, 9(6)579--603, 15(1)15--32,
15(1)101--127, 19(1)47--94, 22(4)705--746, 26(z)z, 29(z)z, 30(z)z
-
machine, G-, 2(2)127--202
-
Mackie, Ian, 4(4)395--433
-
Mackie:1994:LFP, 4(4)395--433
-
MacLennan, 12(1)89--90
-
MacLennan, Bruce J., 0(0)xvii--509
-
MacLennan:1999:PPL, 0(0)xvii--509
-
Macmillan, 14(5)594--597
-
Ma{\'c}os, Dragan, 10(3)227--244,
see Papaspyrou, Nikolaos S.
-
Macqueen, David, 3(4)465--484
-
Macqueen, David, see Harper, Robert
-
macros, 16(3)253--267, 22(2)181--216, 22(4)439--476
-
made, 0(0)xviii--471, 22(3)225--274
-
Madhavapeddy, Anil, 22(1)1--8, 23(6)701--712, 25(z)z
-
Madhavapeddy, Anil, see Eriksen, Marius,
see Sperber, Michael
-
Madhavapeddy:2012:CWR, 22(1)1--8
-
Mads, 14(1)125--128
-
Magalhães, José Pedro, 20(3)375--413,
see Van Noort, Thomas
-
Maguire, 30(z)z
-
Maier, Patrick, 26(z)z
-
Maier, Patrick, see Stewart, Robert
-
mainstream, 0(0)xxiii--402
-
Mairson, Harry, 7(3)355--356
-
Mairson, Harry G., 2(2)213--226, 4(4)435--477, 14(6)623--633
-
Mairson, Harry G., see Henglein, Fritz
-
Mairson:1992:QEP, 2(2)213--226
-
Mairson:1997:CPJ, 7(3)355--356
-
Mairson:2004:FPL, 14(6)623--633
-
major, 0(0)xxiii--657
-
Major, François, 1(2)213--227, 5(3)443--460,
see Turcotte, Marcel
-
Major:1991:DGF, 1(2)213--227
-
make, 0(0)xxiii--402, 9(6)605--624, 21(2)209--213, 23(4)357--401
-
mäkelä, Samuel, Uusi-, 25(z)z
-
making, 0(0)xv--240, 16(4)415--449
-
Makucevich, Tom, 6(3)465--484
-
Makucevich, Tom, see Hudak, Paul
-
Malde, Ketil, 16(1)75--81
-
Malde:2006:CPP, 16(1)75--81
-
Mallén, Yolanda, Ortega-, 15(3)431--475
-
Mallet, Julien, 10(6)561--605
-
Mallet, Julien, see Fradet, Pascal
-
man, 9(3)313--323
-
management, 7(2)227--229, 31(z)z
-
managing, 0(0)xxiii--402, 2(4)387--405, 7(4)421--440
-
Manghi, Paolo, 16(4)621--661
-
Manghi, Paolo, see Colazzo, Dario
-
manifest, 22(3)225--274
-
Manipulating, 22(3)275--299
-
manipulation, 16(1)35--74
-
Manning, 30(z)z
-
Manolios, Panagiotis, 18(1)15--46
-
Manolios, Panagiotis, see Greve, David A.
-
Manoury, 14(5)592--594
-
Manticore, 20(5)537--576
-
manuals, 0(0)xiii--515
-
Manuel, 14(2)247--249
-
Manufacturing, 11(5)493--524
-
many, 0(0)xxiii--657, 30(z)z
-
map, 26(z)z
-
Maraist, John, 8(3)275--317
-
Maraist:1998:CNL, 8(3)275--317
-
Maranget, Luc, 8(2)131--176, 14(6)647--656, 17(3)387--421
-
Maranget, Luc, see Hardin, Thérèse
-
Maranget:2004:FPF, 14(6)647--656
-
Maranget:2007:WPM, 17(3)387--421
-
Marble, 16(2)129--136
-
Mar{\'i}, Ricardo, Pe{\~n}a-, 15(3)431--475
-
Maribel, 17(3)424--426
-
Marion, J.-Y., 11(1)33--53
-
Marion, J.-Y., see Bonfante, G.
-
Mark, 18(3)421--422, 24(5)608--609
-
marking, 11(4)411--424
-
markup, 0(0)xxx--439
-
Marlow, Simon, 12(4)359--374, 12(4)393--434, 16(4)415--449, 26(z)z
-
Marlow, Simon, see Peyton Jones, Simon,
see Sivaramakrishnan, K. C.
-
Marlow:2002:DHP, 12(4)359--374
-
Marlow:2006:MFC, 16(4)415--449
-
Marntirosian, Koar, 29(z)z
-
Marntirosian, Koar, see Schrijvers, Tom
-
Marriott, 11(2)253--262
-
marshalling, 18(4)437--502
-
Martin, 22(3)375--377
-
Martin, C. E., 23(6)629--657
-
Martin, Clare, 28(z)z
-
Martin, Clare, see Hinze, Ralf
-
Martin-Löf, 8(4)413--436
-
Martin-Löf, 30(z)z
-
Martin:2013:FIC, 23(6)629--657
-
Mason, Ian, 1(3)287--327
-
Mason, Ian A., 7(1)1--72
-
Mason, Ian A., see Agha, Gul A.
-
Mason:1991:EFL, 1(3)287--327
-
masses, 16(4)451--483
-
massively, 10(6)561--605
-
master, 0(0)xi--277
-
matching, 0(0)xi--277, 3(2)171--190, 13(6)961--1004, 14(5)503--518,
16(1)35--74, 17(3)387--421, 26(z)z, 28(z)z, 30(z)z, 31(z)z
-
mathematical, 0(0)xxvi--586, 4(0)x--426, 12(0)vii--390
-
MATHEMATICS, 0(0)z
-
mathematics, 0(0)xii--163
-
maths, 4(0)x--426, 16(2)249--250
-
matrix, 2(1)61--72, 6(1)143--170, 9(6)605--624
-
Matsuda, Kazutaka, 23(5)515--551, 28(z)z
-
Matsuda, Kazutaka, see Voigtländer, Janis
-
Matsuda:2018:ABP, 28(z)z
-
Matsuzaki, Kiminori, 32(z)z
-
Matsuzaki, Kiminori, see Iwasaki, Hideya
-
Matthes, Ralph, 19(3)439--468
-
Matthes:2009:IPN, 19(3)439--468
-
Matthews, Jacob, 18(1)47--86, 19(z)1--301
-
Matthews, Jacob, see Sperber, Michael
-
Matthews:2008:OSS, 18(1)47--86
-
Matthias, 24(2)419--421
-
Mauny, 9(4)479--482
-
Mauny, Michel, 0(0)xiv--445, 3(4)431--463
-
Mauny, Michel, see Cousineau, Guy,
see Leroy, Xavier
-
Maximum, 11(4)411--424
-
may, 0(0)xviii--471, 22(2)217--219
-
Maybe, 13(1)191--192, 22(6)747--756
-
Mayer, 13(4)826--828
-
Mayer, Meinhard E. (Meinhard Edwin), 0(0)xxi--534,
see Sussman, Gerald Jay
-
Mazières, David, 27(z)z, see Stefan, Deian
-
McAllester, David, 16(4)375--414
-
McAllester, David, see Blume, Matthias
-
McBride, Conor, 12(4)375--392, 19(3)263--264, 24(2)316--383
-
McBride, Conor, see Dagand, Pierre-Évariste
-
Mcbride, Conor, 13(6)1061--1075, 14(1)69--111, 18(1)1--13, 25(z)z,
30(z)z, 31(z)z
-
Mcbride, Conor, see Allais, Guillaume,
see Altenkirch, Thorsten,
see Convent, Lukas
-
McBride:2002:FIS, 12(4)375--392
-
Mcbride:2003:FOU, 13(6)1061--1075
-
Mcbride:2004:VL, 14(1)69--111
-
Mcbride:2008:APE, 18(1)1--13
-
McBride:2009:P, 19(3)263--264
-
Mccarthy, Jay, 27(z)z
-
Mccarthy, Jay, see New, Max S.
-
Mccutchen, Matt, 30(z)z
-
Mccutchen:2020:ESD, 30(z)z
-
Mcdonell, Trevor L., 28(z)z
-
Mcdonell, Trevor L., see Zakian, Timothy A. K.
-
McGraw, 7(4)447--449
-
McGraw-Hill, 0(0)xxiii--657
-
McIlroy, M. Douglas, 14(5)503--518
-
Mcilroy, M. Douglas, 9(3)325--337
-
Mcilroy:1999:PSP, 9(3)325--337
-
McIlroy:2004:ESR, 14(5)503--518
-
McIver, 14(5)597--598
-
McIver:2003:PM, 0(0)xvii--469
-
McKenzie, Bruce, 9(1)105--111
-
McKenzie:1999:BRM, 9(1)105--111
-
Mckinna, James, 14(1)69--111, 31(z)z
-
Mckinna, James, see Allais, Guillaume,
see Mcbride, Conor
-
Mclaughlin, Craig, 30(z)z
-
Mclaughlin, Craig, see Convent, Lukas
-
Mcnamara, Brian, 14(4)429--472
-
Mcnamara:2004:FPF, 14(4)429--472
-
MD, 24(2)419--421
-
meaning, 17(6)777--792
-
means, 0(0)xviii--471, 0(0)xxvi--586
-
measure, 0(0)xiii--448
-
mechanics, 0(0)xxi--534, 13(4)826--828, 33(z)z
-
mechanism, 9(6)625--647
-
mechanized, 13(2)415--451
-
Mechanizing, 17(4)613--673
-
Media, 22(6)853--854, 23(2)225--226
-
Meehan, Gary, 8(5)503--525
-
Meehan:1998:AFL, 8(5)503--525
-
Meertens, 8(1)83--88
-
Meertens, Lambert, 14(6)759--763
-
Meertens:2004:FPC, 14(6)759--763
-
Meets, 11(4)437--437, 14(1)1--2
-
Meijer, 9(1)105--111
-
Meijer, Erik, 6(1)181--188, 8(4)437--444, 10(1)1--18
-
Meijer, Erik, see Hutton, Graham
-
Meijer:2000:SSW, 10(1)1--18
-
Meinhard, 13(4)826--828
-
Melham, 4(4)557--559
-
Melham, Tom, 7(1)125--126, 16(2)157--196
-
Melham, Tom, see Grundy, Jim
-
Melham:1997:CPJ, 7(1)125--126
-
memory, 7(2)227--229, 15(3)353--401, 31(z)z
-
Mena, 24(2)421--422
-
Mena, Alejandro Serrano, 0(0)xxiii--402
-
Mena:2014:BHP, 0(0)xxiii--402
-
Merge, 31(z)z
-
merging, 7(3)349--354, 28(z)z
-
message-passing, 32(z)z
-
Meta-programming, 15(6)797--835
-
meta-theory, 31(z)z
-
Metalanguages, 10(1)135--136
-
metalanguages, 13(2)257--260
-
MetaML, 13(3)545--571
-
Metamorph, 2(4)437--473
-
Metamorphism, 23(2)161--173
-
metasystem, 3(3)283--313
-
metatheory, 17(4)613--673
-
Métayer, Daniel, Le, 6(1)75--109
-
method, 0(0)xiv--600, 0(0)xv--240, 0(0)xvi--133, 0(0)xvii--485,
0(0)xxvi--586, 2(4)437--473, 6(2)375--377, 7(4)357--394,
7(5)487--513
-
methodology, 0(0)xvii--469, 0(0)xvii--485, 14(5)597--598
-
Michael, 18(3)421--422
-
Michaelson, 10(5)501--508, 13(4)823--824
-
Michaelson, Greg, 5(3)345--382, 10(1)57--75, 10(5)501--508,
15(4)615--650, 17(3)428--429, 23(3)351--352
-
Michaelson, Greg, see Jung, Yang,
see Scaife, Norman
-
Michaelson:1995:PPV, 5(3)345--382
-
Michaelson:2000:BRO, 10(5)501--508
-
Michaelson:2007:BRI, 17(3)428--429
-
Michaelson:2013:BRL, 23(3)351--352
-
Michel, 9(4)479--482
-
Miculan, Marino, 16(3)327--372
-
Miculan, Marino, see Bucalo, Anna
-
Middeldorp, Aart, 14(4)379--427
-
Middeldorp, Aart, see Giesl, Jürgen
-
middle, excluded-, 6(3)519--526
-
Might, Matthew, 18(5)821--864, 22(4)705--746, 24(2)218--283,
24(4)423--433, 28(z)z
-
Might, Matthew, see Germane, Kimball,
see Gilray, Thomas, \see{Johnson, J. Ian,
see Van Horn, David
-
Might:2008:ERC, 18(5)821--864
-
Migrating, 32(z)z
-
Mike, 4(4)557--559, 5(4)653--660
-
Miljenovic, Ivan Lazar, 23(2)226--227
-
Miljenovic:2013:BRP, 23(2)226--227
-
Miller, Gary, 11(5)441--466
-
Miller, Gary, see Blelloch, Guy
-
Miller, Heather, 28(z)z
-
Miller, Heather, see Haller, Philipp
-
Millikin, Kevin, 17(6)793--812
-
Millikin, Kevin, see Danvy, Olivier
-
Milner, 11(4)433--436, 14(1)125--128
-
Milo, Mikkel, 32(z)z
-
Milo, Mikkel, see Annenkov, Danil
-
Mimi, 24(2)419--421
-
mind, 0(0)xxvi--586
-
mingle, 25(z)z
-
mingling, 16(2)129--136
-
minimal, 0(0)xv--240
-
minimizing, 0(0)xv--240
-
minimum, 7(4)441--445
-
mining, 15(1)15--32
-
Minout, 1(1)121--124
-
Minsky, Yaron, 18(4)553--564, 22(1)1--8
-
Minsky, Yaron, see Madhavapeddy, Anil
-
Minsky:2008:CTE, 18(4)553--564
-
Miquel, Alexandre, 19(5)581--631
-
Miquel, Alexandre, see Arbiser, Ariel
-
Miran, 23(3)351--352
-
Miranda, 3(1)5--34, 8(6)633--637
-
mistakes, 25(z)z
-
Mitchell, 7(6)667--668, 13(4)829--831, 13(6)1087--1088, 19(6)723--725
-
Mitchell, John C., 0(0)x--529, 1(3)245--285, 27(z)z
-
Mitchell, John C., see Stefan, Deian
-
Mitchell, K., 5(1)131--134
-
Mitchell, Neil, 30(z)z
-
Mitchell, Neil, see Mokhov, Andrey
-
Mitchell:1991:TIS, 1(3)245--285
-
Mitchell:1995:BRA, 5(1)131--134
-
Mitchell:2003:CPL, 0(0)x--529
-
mixed-sensitivity, 31(z)z
-
Mixing, 28(z)z
-
ML, 0(0)xiii--320, 0(0)xiv--308, 0(0)xvi--355, 0(0)xx--472, 0(0)x--212,
0(0)x--301, 0(0)x--390, 0(0)x--429, 2(1)i, 3(1)77--92, 3(4)389--389,
3(4)391--429, 3(4)431--463, 3(4)465--484, 3(4)527--552,
5(1)131--134, 5(2)155--200, 5(3)345--382, 6(1)189--193,
7(4)447--449, 8(4)367--412, 8(5)537--542, 8(6)573--619,
9(1)105--111, 10(1)91--120, 11(2)253--262, 16(2)250--251,
17(2)215--286, 20(2)137--173, 24(2)284--315, 24(6)613--674, 31(z)z
-
MLton, 31(z)z
-
mobile, 0(0)xxx--439, 11(4)433--436, 17(3)423--424
-
modal, 9(3)247--277, 32(z)z
-
modality, 19(1)17--26
-
model, 0(0)xvii--469, 0(0)xxiii--657, 0(0)xxvi--586, 0(0)xxvii--900,
1(3)329--366, 13(3)483--508, 15(1)15--32, 16(4)375--414,
19(2)254--256, 22(6)757--796, 23(2)185--224, 28(z)z, 29(z)z
-
modeling, 0(0)xxvi--586, 22(2)217--219, 30(z)z, 31(z)z
-
modelling, 0(0)xiv--427, 2(1)1--21, 18(3)421--422
-
modelu2014push, 0(0)xvi--133
-
Modern, 0(0)x--390, 9(1)105--111
-
Modula-3, 4(2)249--283
-
modular, 1(2)155--189, 10(3)269--303, 11(5)557--587, 18(5)599--647,
21(4)333--412, 22(6)797--852, 23(4)452--514, 27(z)z, 28(z)z
-
Modularity, 7(6)613--660
-
module, 0(0)xv--240, 0(0)xxiii--402, 4(3)285--335, 10(3)269--303,
12(2)91--132, 13(1)67--80, 14(5)547--587, 17(3)287--352, 20(1)3--18,
24(5)529--607, 28(z)z
-
Mogensen, Torben Æ, 2(3)345--364
-
Mogensen:1992:ESI, 2(3)345--364
-
Moggi, E., 8(6)573--619, 11(6)591--627, 13(3)545--571
-
Moggi, E., see Calcagno, C., \see{Jay, C. B.
-
Moggi:2001:MEE, 11(6)591--627
-
Mokhov, Andrey, 30(z)z
-
Mokhov:2020:BSC, 30(z)z
-
Mol, Maarten, De, 23(2)185--224
-
Molyneux, Phil, 3(1)35--48
-
Molyneux:1993:FPB, 3(1)35--48
-
momentum, 0(0)xxiii--402
-
monad, 9(3)313--323, 13(1)199--204, 25(z)z, 31(z)z
-
monadic, 8(4)437--444, 11(6)591--627, 15(2)249--291, 16(4)485--545,
17(6)687--730, 17(6)731--776, 19(2)157--172, 19(6)663--697, 31(z)z
-
monitoring, 5(4)501--547, 13(3)573--600, 28(z)z
-
Monnier, Stefan, 13(3)647--676
-
Monnier:2003:ISC, 13(3)647--676
-
monoidal, 30(z)z
-
monoids, 27(z)z, 32(z)z
-
monolithic, 8(4)323--333
-
Monte, 5(3)283--316
-
Moor, 9(3)347--354, 14(5)594--597
-
Moor, Oege, De, 6(1)1--28, 7(5)541--547, 10(2)191--225, 13(3)455--481
-
Moore, J. Strother, 18(1)15--46
-
Moore, J. Strother, see Greve, David A.
-
Morazán, Marco T., 28(z)z
-
Morazan:2018:IHB, 28(z)z
-
more, 0(0)xi--277, 0(0)xxiii--402, 0(0)xxvi--586, 7(5)541--547,
21(2)135--157, 26(z)z, 30(z)z
-
Moreau, Pierre-Etienne, 11(2)207--251
-
Moreau, Pierre-Etienne, see Kirchner, Hélène
-
Morehouse, Edward, 26(z)z
-
Morehouse, Edward, see Angiuli, Carlo
-
Morgan, 13(4)824--826, 14(5)597--598
-
Morgan, R. G., 8(3)201--237
-
Morgan:1998:PLS, 8(3)201--237
-
Morihata, Akimasa, 22(3)275--299, 31(z)z, 32(z)z
-
Morihata, Akimasa, see Iwasaki, Hideya
-
Morihata:2012:MAF, 22(3)275--299
-
Morihata:2021:LCA, 31(z)z
-
morphism, 9(5)565--575
-
morphological, 15(4)573--614
-
Morris, Peter, 25(z)z
-
Morris, Peter, see Altenkirch, Thorsten
-
Morrisett, Greg, 12(1)43--88, 12(6)567--600, 13(3)677--708,
13(5)957--959, 14(4)i--ii, 15(2)129--129, 16(4)485--545,
18(5)865--911
-
Morrisett, Greg, see Abadi, Mart{\'i}n,
see Crary, Karl, \see{Fluet, Matthew,
see Hudak, Paul,
see Nanevski, Aleksandar,
see Smith, Frederick
-
Morrisett:2002:SBT, 12(1)43--88
-
Morrisett:2003:SBT, 13(5)957--959
-
MÖRtberg, Anders, 31(z)z, see Vezzosi, Andrea
-
Moss, Graeme E., 11(5)525--556
-
Moss:2001:IBP, 11(5)525--556
-
most, 0(0)xvii--485, 0(0)xxiii--402, 0(0)xxiii--657
-
Mounier, G., 15(1)33--52
-
Mounier, G., see David, R.
-
MP, X-, 2(1)81--126
-
MRI, 22(6)797--852
-
MSO, 25(z)z
-
Mtac, 25(z)z
-
Mu, Shin-Cheng, 14(6)603--612, 15(5)679--702, 19(5)545--579, 25(z)z,
31(z)z
-
Mu, Shin-Cheng, see Bird, Richard S.,
see Bird, Richard, \see{Curtis, Sharon,
see Kiselyov, Oleg
-
Mu:2009:APA, 19(5)545--579
-
Mu:2021:LSB, 31(z)z
-
Muijnck-Hughes, Jan, De, 30(z)z
-
Muijnck-Hughes:2020:TDD, 30(z)z
-
Muller, Henk, 14(2)129--135
-
Muller, Henk, see Hartel, Pieter
-
Müller, Normen, 28(z)z, see Haller, Philipp
-
Müller, Olaf, 9(2)191--223
-
Muller, Robert, 12(3)183--227
-
Muller, Robert, see Wells, J. B.
-
Muller:1999:HHL, 9(2)191--223
-
multi-disciplinary, 15(3)477--502
-
multi-parameter, 12(2)133--158
-
Multi-return, 16(4)547--582
-
multi-stage, 26(z)z
-
multicore-aware, 24(6)613--674
-
multimedia, 0(0)xviii--363, 0(0)xxx--439, 10(5)501--508, 17(3)423--424
-
MultiMLton, 24(6)613--674
-
Multiparadigm, 0(0)xvii--485
-
multiple, 32(z)z
-
multiprocessor, 15(3)353--401
-
Murphy, Jeffrey, 31(z)z
-
Murphy, Jeffrey, see Shivkumar, Bhargav
-
Murray, Toby, 31(z)z
-
Murray, Toby, see O'Connor, Liam,
see Sison, Robert
-
music, 6(3)465--484
-
mutable, 15(2)249--291
-
Mycroft, Alan, 5(1)37--49
-
Mycroft, Alan, see Ernoult, Christine
-
Myers, 6(1)189--193
-
Myers, Colin, 0(0)x--301
-
Myers:1993:PSM, 0(0)x--301
-
Myreen, Magnus O., 24(2)284--315, 29(z)z
-
Myreen, Magnus O., see Tan, Yong Kiam
-
Myreen:2014:PPT, 24(2)284--315