Last update: Sat Oct 21 02:07:46 MDT 2023
Return to index directory
O
-
O'Connor, Liam, 31(z)z
-
O'Connor, Russell, 25(z)z
-
O'Connor, Russell, see Jaskelioff, Mauro
-
O'Donnell, John, 11(2)253--262
-
O'Donnell, John T., 14(6)697--713
-
O'Hearn, Peter, 13(4)747--796
-
O'Hearn, Peter W., 6(1)171--180
-
O'Leary, John, 16(2)157--196
-
O'Leary, John, see Grundy, Jim
-
O'Neill, Melissa E., 7(5)487--513, 19(1)95--106
-
O'Reilley, 14(5)592--594
-
O'Reilly, 22(6)853--854, 23(2)225--226
-
object, 0(0)xviii--471, 0(0)xxiii--657, 4(2)249--283, 5(4)593--635,
6(2)299--327, 9(4)373--426, 14(3)263--315, 27(z)z
-
object, dual-, 0(0)xvii--485
-
Object-Functional, 22(6)854--855
-
object-functional, 0(0)xvii--485
-
object-oriented, 0(0)xv--240, 0(0)xvii--485, 4(2)125--125, 4(2)127--206,
4(2)207--247, 17(3)353--386
-
Objective, 0(0)ix--194, 14(5)592--594
-
observable, 22(6)757--796
-
OCaml, 0(0)ix--194, 23(3)352--354, 26(z)z
-
OCaml-Java, 26(z)z
-
OConnor:2021:CUT, 31(z)z
-
odd--even, 28(z)z
-
Odersky, Martin, 8(3)275--317
-
Odersky, Martin, see Maraist, John
-
ODonnell:2001:BRC, 11(2)253--262
-
ODonnell:2004:FPD, 14(6)697--713
-
Oege, 9(3)347--354, 14(5)594--597
-
of-The-Art, State-, 3(4)565--566
-
of-the-art, State-, 5(3)279--281
-
off, 0(0)xxiii--402
-
off-line, 3(3)315--346, 5(4)461--500
-
offers, 0(0)xviii--471
-
OHearn:1996:NAC, 6(1)171--180
-
OHearn:2003:BT, 13(4)747--796
-
Oheimb, David, Von, 9(2)191--223
-
Ohlebusch, 16(2)247--249
-
Ohori, Atsushi, 9(4)427--462
-
Ohori, Atsushi, see Nishimura, Susumu
-
Okasaki, 9(5)577--578
-
Okasaki, Chris, 5(4)583--592, 6(6)839--857, 7(6)661--666, 8(2)195--199,
9(4)471--477, 9(4)479--482, 11(5)439--440, 13(4)815--822
-
Okasaki, Chris, see Brodal, Gerth St{\o}lting
-
Okasaki:1995:SEP, 5(4)583--592
-
Okasaki:1997:TAB, 7(6)661--666
-
Okasaki:1998:EHO, 8(2)195--199
-
Okasaki:1999:BRC, 9(4)479--482
-
Okasaki:1999:RBT, 9(4)471--477
-
Okasaki:2001:SIA, 11(5)439--440
-
Okasaki:2003:TPF, 13(4)815--822
-
Oliva, Dino P., 8(4)367--412
-
Oliva, Dino P., see Tolmach, Andrew
-
Oliveira, Bruno C. D. S., 20(3)303--352, 22(6)797--852, 29(z)z,
31(z)z
-
Oliveira, Bruno C. D. S., see Huang, Xuejing,
see Schrijvers, Tom
-
Oliveira, Bruno C. d. S., 19(3)377--402
-
Oliveira, Bruno C. d. S., see Gibbons, Jeremy
-
Oliveira:2010:SGP, 20(3)303--352
-
Oliveira:2012:MMR, 22(6)797--852
-
on, hands-, 0(0)xvi--133
-
on-Demand, Video-, 15(3)403--430
-
On-line, 5(4)461--500
-
one, 0(0)0--0, 15(5)771--796
-
one-pass, 17(6)793--812
-
ONeill:1997:NMF, 7(5)487--513
-
ONeill:2009:GSE, 19(1)95--106, 21(6)563--572
-
online, 3(3)251--281
-
only, 0(0)xviii--471, 28(z)z
-
open, 7(4)395--420
-
operating, 2(1)1--21
-
operation, 2(4)505--513, 13(1)169--172, 13(6)1005--1059
-
operational, 0(0)vi--142, 1(0)vi--142, 6(3)393--418, 8(4)335--365,
8(6)633--637, 12(0)vii--390, 17(3)424--426, 18(1)47--86
-
Operator, 31(z)z
-
operators, 0(0)xviii--471, 6(3)393--418
-
Ophel, John, 12(2)133--158
-
Ophel, John, see Duggan, Dominic
-
opportunity, 7(2)127--128
-
optimal, 6(6)763--810, 6(6)839--857, 10(5)501--508, 30(z)z
-
optimisation, 6(1)75--109, 9(2)113--146
-
optimization, 0(0)xv--240, 11(3)319--346
-
Oracle-guided, 26(z)z
-
{\O}rb{\ae}k, P., 7(6)557--591
-
Orbaek:1997:TC, 7(6)557--591
-
Orchard, Dominic, 24(4)524--527
-
Orchard:2014:BRC, 24(4)524--527
-
order, 0(0)xx--472, 4(4)557--559, 8(6)633--637, 10(3)227--244,
12(0)vii--390, 18(2)179--249, 23(6)658--700, 27(z)z, 31(z)z
-
order, First-, 7(1)73--101, 13(6)1061--1075
-
order, first-, 11(2)155--206, 16(6)663--670
-
order, Higher-, 2(3)323--343, 9(1)33--75, 9(5)527--564
-
order, higher-, 0(0)xxiii--657, 1(4)459--494, 4(3)285--335,
4(4)435--477, 5(1)1--35, 6(6)763--810, 7(3)321--347, 7(4)357--394,
8(2)195--199, 11(1)55--94, 16(4)415--449, 17(4)473--546,
18(1)87--140, 18(5)821--864, 19(1)107--142, 20(2)175--210,
21(6)585--615, 22(4)477--528, 24(2)284--315, 25(z)z, 28(z)z
-
order, Normal-, 27(z)z
-
order, normal-, 29(z)z
-
order, second-, 25(z)z
-
order, sixth-, 8(2)195--199
-
ordered, 18(3)333--371
-
oriented, functional-, 0(0)xvii--485
-
oriented, Object-, 0(0)xvii--485
-
oriented, object-, 0(0)xv--240, 4(2)125--125, 4(2)127--206,
4(2)207--247, 17(3)353--386
-
origami, 15(5)679--702
-
ornaments, 24(2)316--383, 27(z)z
-
Ortega-Mallén, Yolanda, 15(3)431--475,
see Loogen, Rita
-
OS, 23(4)452--514
-
Ostermann, Klaus, 30(z)z
-
Ostermann, Klaus,
see Brachthäuser, Jonathan Immanuel
-
other, 0(0)xviii--471, 0(0)0--0
-
others, see Felleisen, Matthias
-
Ott, 20(1)71--122
-
ourselves, 0(0)xviii--471
-
out, Böhm-, 5(1)51--64
-
output, 13(1)97--102, 13(1)205--218
-
outputting, 0(0)xvi--133
-
outs, 5(1)81--110
-
outside-in, 7(2)129--161
-
OutsideInX, 21(4)333--412
-
overloading, 5(1)1--35, 27(z)z
-
overview, 0(0)xxiii--402, 0(0)xxx--439, 4(1)19--45
-
Owens, Scott, 19(2)173--190, 20(1)71--122, 24(2)284--315, 29(z)z
-
Owens, Scott, see Myreen, Magnus O.,
see Sewell, Peter, \see{Tan, Yong Kiam
-
Owens:2009:RED, 19(2)173--190
-
own, 0(0)xix--374, 21(2)215--217
-
Oxford, 12(1)89--90