Index file section M for jfunctprogram.bib

Last update: Wed Apr 29 02:05:32 MDT 2026

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, 34(z)z
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, 34(z)z--99999999
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, 35(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
Marsden, Dan, 35(z)z
Marsden, Dan, see Hinze, Ralf
marshalling, 18(4)437--502
Martelotte, Lucas, Rufino, 35(z)z
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, 34(z)z
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, 34(z)z--99999999
Matsuda, Kazutaka, see Voigtländer, Janis
Matsuda:2018:ABP, 28(z)z
Matsuda:2024:SLP, 34(z)z--99999999
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, 35(z)z
Mckinna, James, see Allais, Guillaume, see Biernacki, Dariusz, 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--99999999
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
memoization, 33(z)z--99999999
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, 33(z)z--99999999
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, 34(z)z
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, 33(z)z--99999999
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, 35(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
modulo, 35(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, 35(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, 35(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
Montesi, Fabrizio, 34(z)z--z
Montesi, Fabrizio, see Graversen, Eva
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
Morris-Pratt, Knuth-, 34(z)z--99999999
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
Mota, Júlia, De Araújo, 35(z)z
Mota:2026:PFC, 35(z)z
Mounier, G., 15(1)33--52
Mounier, G., see David, R.
Moy, Cameron, 33(z)z--99999999, 34(z)z--99999999
Moy:2023:TC, 33(z)z--99999999
Moy:2024:KMP, 34(z)z--99999999
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, 34(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
Mu:2024:BCU, 34(z)z
much, 35(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