Index file section F for pacmpl.bib
Last update: Sun Sep 1 02:29:01 MDT 2024
Return to index directory
F
-
F, 3(z)17--17, 3(z)116--116, 3(z)166--166, 7(z)252--252, 8(z)48--48
-
F*, 1(z)17--17, 8(z)74--74
-
F\#, 4(z)75--75, 4(z)86--86
-
f, 3(z)138--138, 6(z)39--39
-
\%f, 3(z)169--169
-
F2-linear, 5(z)148--148
-
FaaS, 5(z)133--133
-
Fábregas, Ignacio, 3(z)161--161, 5(z)5--5,
see Farka, Franti{\v{s}}ek,
see Nanevski, Aleksandar
-
face, 4(z)190--190, 4(z)207--207, 7(z)78--78, 7(z)198--198, 7(z)229--229,
7(z)231--231
-
faced, 5(z)124--124
-
facilitate, 2(z)109--109, 2(z)153--153, 4(z)60--60, 4(z)183--183,
4(z)216--216, 6(z)73--73, 7(z)68--68, 7(z)168--168, 8(z)11--11
-
facilitating, 7(z)97--97, 7(z)178--178
-
facility, 3(z)115--115
-
fact, 2(z)86--86
-
facto, 3(z)113--113, 4(z)14--14, 4(z)77--77, 8(z)121--121
-
facto, de-, 8(z)49--49
-
factor, 3(z)125--125, 3(z)189--189
-
factor, constant-, 5(z)91--91
-
factored, 4(z)83--83
-
factorization, 8(z)94--94
-
Faes, Michael, 2(z)130--130
-
Faes:2018:CAO, 2(z)130--130
-
Faggian, Claudia, 5(z)32--32, 8(z)84--84
-
Faggian, Claudia, see Dal Lago, Ugo
-
Faggian:2024:HOB, 8(z)84--84
-
fail, 3(z)120--120, 3(z)122--122, 4(z)202--202, 5(z)45--45, 7(z)282--282
-
failed, 3(z)5--5
-
failure, 1(z)97--97, 2(z)153--153, 3(z)28--28, 3(z)147--147,
3(z)160--160, 3(z)165--165, 4(z)20--20, 4(z)143--143, 4(z)210--210,
5(z)63--63, 5(z)97--97, 7(z)159--159, 7(z)231--231
-
fair, 4(z)36--36, 5(z)44--44, 5(z)98--98, 6(z)5--5, 7(z)4--4,
7(z)116--116, 7(z)139--139, 7(z)179--179
-
fairness, 1(z)80--80, 3(z)81--81, 3(z)118--118, 4(z)185--185, 5(z)98--98,
7(z)139--139
-
FairSquare, 1(z)80--80
-
faithful, 4(z)129--129, 6(z)8--8
-
Faleiro, Jose M., 1(z)107--107
-
Faleiro, Jose M., see Bernstein, Philip A.
-
Falkenstein, Maximilian, 4(z)195--195
-
Falkenstein, Maximilian, see Grosser, Tobias
-
Falkoff, 4(z)69--69
-
fall, 6(z)92--92
-
fallen, 2(z)95--95
-
false, 3(z)189--189, 6(z)4--4, 6(z)59--59, 7(z)45--45
-
Familia, 1(z)70--70
-
Familial, 3(z)21--21
-
familiar, 4(z)38--38, 4(z)72--72, 5(z)107--107, 7(z)164--164
-
family, 1(z)42--42, 1(z)70--70, 3(z)29--29, 3(z)102--102, 4(z)86--86,
5(z)59--59, 5(z)148--148, 6(z)6--6, 6(z)105--105, 6(z)129--129,
6(z)188--188, 7(z)11--11, 7(z)43--43, 7(z)172--172, 7(z)192--192,
8(z)119--119
-
family, ML-, 8(z)51--51
-
Fan, Andong, 8(z)48--48
-
Fan, Andong, see Parreaux, Lionel
-
Fan, Hongyu, 6(z)158--158
-
Fan, Hongyu, see Sun, Zhihang
-
Fan, Xiong, 7(z)30--30
-
Fan, Xiong, see Gancher, Joshua
-
fanfare, 3(z)163--163
-
Fang, Emilio, Arroyo-, 5(z)130--130
-
far, 2(z)112--112, 2(z)116--116, 4(z)49--49, 5(z)157--157, 6(z)74--74,
6(z)83--83
-
Fariha, Anna, 6(z)164--164
-
Fariha, Anna, see Bavishi, Rohan
-
Farka, Franti{\v{s}}ek, 5(z)5--5
-
Farka:2021:AAC, 5(z)5--5
-
Farkas, 6(z)132--132, 7(z)253--253
-
Farokhnia, Soroush, 7(z)253--253
-
Farokhnia, Soroush, see Cai, Zhuo
-
Farooq, Umar, 4(z)160--160
-
Farooq:2020:LIP, 4(z)160--160
-
Farzan, Azadeh, 2(z)61--61, 4(z)13--13, 6(z)135--135, 7(z)49--49,
8(z)31--31, 8(z)83--83
-
Farzan, Azadeh, see D'Osualdo, Emanuele
-
Farzan:2018:SSL, 2(z)61--61
-
Farzan:2020:RSP, 4(z)13--13
-
Farzan:2023:SCV, 7(z)49--49
-
Farzan:2024:CEC, 8(z)31--31
-
Farzan:2024:CSP, 8(z)83--83
-
fashion, 6(z)140--140
-
fast, 1(z)48--48, 2(z)144--144, 3(z)126--126, 3(z)146--146, 3(z)148--148,
3(z)169--169, 3(z)184--184, 4(z)17--17, 4(z)81--81, 4(z)144--144,
4(z)195--195, 5(z)23--23, 5(z)136--136, 5(z)148--148, 5(z)154--154,
5(z)162--162, 6(z)75--75, 6(z)88--88, 6(z)140--140, 6(z)148--148,
6(z)190--190, 7(z)52--52, 7(z)114--114, 7(z)128--128, 7(z)240--240,
7(z)244--244, 8(z)96--96, 8(z)110--110, 8(z)118--118
-
faster, 1(z)5--5, 2(z)117--117, 3(z)125--125, 3(z)126--126, 3(z)169--169,
4(z)73--73, 4(z)133--133, 6(z)3--3, 6(z)4--4, 6(z)52--52,
6(z)148--148, 6(z)159--159, 7(z)9--9, 8(z)92--92
-
fastest, 2(z)126--126, 3(z)130--130, 5(z)70--70
-
Fat, 7(z)86--86
-
Fathololumi, Parisa, 4(z)189--189, 6(z)186--186
-
Fathololumi, Parisa, see Chen, Adam,
see Le, Ton Chanh
-
fault, 1(z)92--92, 2(z)96--96, 2(z)163--163, 3(z)138--138, 4(z)144--144,
6(z)27--27, 6(z)40--40, 7(z)101--101
-
fault-aware, 5(z)97--97
-
fault-tolerance, 6(z)38--38
-
fault-tolerant, 3(z)123--123, 3(z)138--138, 3(z)144--144, 4(z)213--213,
5(z)124--124, 7(z)101--101, 7(z)159--159
-
(Favonia), Kuen-Bang Hou, 6(z)64--64, 7(z)57--57
-
favor, 4(z)181--181
-
favourite, 2(z)103--103
-
feasibility, 3(z)170--170
-
feasible, 4(z)152--152
-
Featherweight, 4(z)149--149
-
feature, 1(z)101--101, 2(z)66--66, 2(z)81--81, 2(z)120--120,
2(z)125--125, 2(z)162--162, 3(z)100--100, 3(z)101--101,
3(z)106--106, 3(z)125--125, 3(z)140--140, 3(z)158--158,
3(z)163--163, 4(z)3--3, 4(z)22--22, 4(z)34--34, 4(z)53--53,
4(z)70--70, 4(z)71--71, 4(z)73--73, 4(z)84--84, 4(z)107--107,
4(z)114--114, 4(z)136--136, 4(z)139--139, 4(z)144--144,
4(z)179--179, 4(z)206--206, 4(z)207--207, 5(z)13--13, 5(z)83--83,
5(z)90--90, 5(z)102--102, 5(z)126--126, 5(z)145--145, 5(z)150--150,
5(z)161--161, 6(z)16--16, 6(z)22--22, 6(z)45--45, 6(z)66--66,
6(z)83--83, 7(z)48--48, 7(z)143--143, 7(z)209--209, 7(z)260--260,
7(z)266--266, 7(z)268--268, 7(z)269--269, 8(z)9--9, 8(z)14--14,
8(z)51--51, 8(z)102--102
-
Feature-Sensitive, 7(z)126--126
-
featured, 4(z)84--84
-
featured, full-, 2(z)127--127
-
featuring, 8(z)127--127
-
feed, 5(z)148--148
-
feedback, 2(z)158--158, 3(z)14--14, 3(z)115--115, 4(z)127--127,
4(z)171--171
-
Feedback-driven, 4(z)219--219
-
Fehrmann, Hans Jacob, 3(z)108--108
-
Fehrmann, Hans Jacob, see Pédrot, Pierre-Marie
-
Feldman, Yotam M. Y., 4(z)5--5, 4(z)128--128, 5(z)15--15, 6(z)15--15
-
Feldman:2020:CII, 4(z)5--5
-
Feldman:2020:PHC, 4(z)128--128
-
Feldman:2021:LBI, 5(z)15--15
-
Feldman:2022:PDR, 6(z)15--15
-
Felleisen, Matthias, 1(z)30--30, 2(z)71--71, 3(z)122--122, 4(z)222--222,
4(z)229--229, 5(z)68--68, 7(z)194--194, 7(z)241--241, 8(z)88--88
-
Felleisen, Matthias, see Andersen, Leif,
see Ballantyne, Michael,
see Greenman, Ben, \see{Lazarek, Lukas,
see Moy, Cameron
-
Feller, 6(z)120--120
-
Feltey, Daniel, 1(z)1--1, 2(z)133--133
-
Feltey, Daniel, see St-Amour, Vincent
-
Feltey:2018:CCF, 2(z)133--133
-
fence, 5(z)4--4, 5(z)15--15, 5(z)148--148
-
Feng, Gary, 8(z)119--119
-
Feng, Gary, see Kravchuk-Kirilyuk, Anastasiya
-
Feng, Shenghua, 7(z)99--99
-
Feng, Xinyu, 2(z)20--20
-
Feng, Xinyu, see Liang, Hongjin
-
Feng, Yu, 3(z)141--141, 4(z)49--49, 6(z)4--4, 6(z)71--71, 6(z)145--145,
7(z)132--132, 7(z)168--168
-
Feng, Yu, see Chen, Jia, \see{Chen, Yanju,
see Liu, Junrui, \see{Mariano, Benjamin,
see Pailoor, Shankara, \see{Tan, Bryan,
see Wang, Chenglong
-
Feng:2023:LBP, 7(z)99--99
-
Ferdowsifard, Kasra, 5(z)153--153
-
Ferdowsifard:2021:PLI, 5(z)153--153
-
Ferles, Kostas, 5(z)17--17, 6(z)67--67
-
Ferles:2021:VCU, 5(z)17--17
-
Ferles:2022:SFG, 6(z)67--67
-
Fernando, Vimuth, 3(z)119--119
-
Fernando:2019:VSA, 3(z)119--119
-
Ferracioli, Fabrício, 1(z)50--50,
see Poesia, Gabriel
-
Ferré, Davide, 7(z)55--55, see Di Giusto, Cinzia
-
Ferreira, Carla, 5(z)107--107
-
Ferreira, Carla, see De Porre, Kevin
-
Ferreira, Francisco, 4(z)148--148
-
Ferreira, Francisco, see Zhou, Fangyi
-
Feser, Jack, 7(z)254--254
-
Feser, John, 4(z)170--170
-
Feser:2020:DOR, 4(z)170--170
-
Feser:2023:IPS, 7(z)254--254
-
fetched, 4(z)211--211
-
few, 2(z)108--108, 2(z)147--147, 3(z)78--78, 3(z)127--127, 3(z)133--133,
4(z)113--113, 4(z)169--169, 4(z)233--233, 5(z)100--100,
5(z)101--101, 5(z)105--105, 5(z)144--144, 5(z)167--167, 8(z)19--19,
8(z)43--43
-
Few-Pixel, 7(z)90--90
-
few-pixel, 7(z)90--90
-
fewer, 5(z)157--157
-
fewest, 4(z)43--43
-
FF-A, 7(z)165--165
-
FFT, 1(z)7--7, 4(z)81--81
-
Fiala, Joná{\v{s}}, 7(z)164--164
-
Fiala:2023:LRT, 7(z)164--164
-
fibrations, 2(z)6--6
-
fibred, 2(z)7--7
-
fidelity, high-, 5(z)141--141
-
field, 3(z)85--85, 3(z)125--125, 4(z)64--64, 4(z)81--81, 4(z)84--84,
4(z)175--175, 6(z)62--62, 6(z)121--121, 6(z)151--151, 7(z)5--5,
7(z)246--246
-
field, set-field/get-, 5(z)59--59
-
Field, Tony, 3(z)102--102
-
Field, Tony, see Kiss, Csongor
-
field/get-field, set-, 5(z)59--59
-
file, 1(z)64--64, 3(z)110--110, 3(z)113--113, 4(z)103--103, 4(z)197--197,
5(z)43--43, 5(z)140--140, 6(z)95--95, 7(z)150--150
-
files, 3(z)113--113, 4(z)197--197, 4(z)212--212, 8(z)69--69,
8(z)134--134
-
filesystems, 5(z)43--43
-
Filinski, 2(z)76--76
-
fills, 6(z)148--148
-
filters, 7(z)68--68
-
finalizer, 5(z)148--148
-
finally, 3(z)142--142, 4(z)7--7, 4(z)11--11, 5(z)71--71, 7(z)253--253,
8(z)119--119
-
finance, 2(z)148--148, 4(z)71--71
-
financial, 3(z)118--118, 3(z)185--185, 3(z)189--189, 5(z)20--20,
5(z)146--146, 6(z)4--4
-
find, 2(z)148--148, 3(z)120--120, 3(z)122--122, 3(z)158--158,
3(z)159--159, 4(z)10--10, 4(z)90--90, 5(z)118--118, 6(z)34--34,
7(z)94--94, 7(z)180--180, 7(z)298--298, 8(z)93--93
-
finders, Model-, 6(z)79--79
-
finding, 2(z)148--148, 2(z)149--149, 2(z)162--162, 3(z)169--169,
3(z)174--174, 4(z)196--196, 4(z)211--211, 6(z)81--81, 7(z)113--113,
7(z)156--156, 7(z)180--180, 7(z)225--225, 7(z)253--253, 8(z)33--33,
8(z)91--91, 8(z)98--98, 8(z)107--107, 8(z)124--124, 8(z)143--143
-
finding, bug-, 7(z)93--93
-
Finding, Consequence-, 7(z)44--44
-
finding, model-, 6(z)79--79
-
finding, root-, 5(z)3--3
-
Findler, Robert Bruce, 1(z)1--1, 2(z)133--133, 4(z)65--65, 6(z)142--142,
7(z)242--242
-
Findler, Robert Bruce, see Feltey, Daniel,
see Flatt, Matthew, \see{Hoeflich, Joshua,
see Lazarek, Lukas,
see St-Amour, Vincent
-
fine, 4(z)120--120
-
Fine-Grained, 7(z)59--59, 7(z)161--161, 7(z)206--206
-
fine-grained, 2(z)103--103, 2(z)110--110, 5(z)6--6, 5(z)34--34,
5(z)131--131, 6(z)7--7, 6(z)8--8, 6(z)20--20, 6(z)67--67, 6(z)74--74,
6(z)174--174, 7(z)47--47, 7(z)91--91, 7(z)161--161, 8(z)21--21
-
finer, 5(z)139--139
-
fingerprint, 7(z)165--165
-
finish, 3(z)7--7
-
Finitary, 2(z)81--81
-
finite, 1(z)62--62, 6(z)10--10, 7(z)64--64, 7(z)196--196, 7(z)282--282,
8(z)19--19, 8(z)33--33, 8(z)92--92
-
finite, P-, 8(z)34--34
-
finite-aspect, 7(z)80--80
-
finite-precision, 3(z)99--99
-
finitely, 8(z)4--4
-
Fiore, Marcelo, 6(z)53--53
-
Fiore:2022:FMS, 6(z)53--53
-
fire, 4(z)58--58
-
Firefox, 6(z)27--27
-
Fireman, Nicholas, 4(z)214--214
-
Fireman, Nicholas, see Bagherzadeh, Mehdi
-
firms, 3(z)182--182
-
Firsov, Denis, 2(z)104--104
-
Firsov, Denis, see Diehl, Larry
-
first, 2(z)66--66, 2(z)67--67, 2(z)82--82, 2(z)101--101, 2(z)109--109,
2(z)111--111, 2(z)113--113, 2(z)145--145, 3(z)10--10, 3(z)17--17,
3(z)29--29, 3(z)120--120, 3(z)121--121, 3(z)125--125, 3(z)126--126,
3(z)142--142, 3(z)155--155, 3(z)177--177, 4(z)4--4, 4(z)11--11,
4(z)46--46, 4(z)66--66, 4(z)68--68, 4(z)69--69, 4(z)73--73,
4(z)74--74, 4(z)77--77, 4(z)79--79, 4(z)81--81, 4(z)87--87,
4(z)89--89, 4(z)197--197, 4(z)207--207, 4(z)223--223, 5(z)37--37,
5(z)42--42, 5(z)43--43, 5(z)99--99, 6(z)3--3, 6(z)5--5, 6(z)10--10,
6(z)54--54, 6(z)88--88, 6(z)116--116, 6(z)117--117, 6(z)149--149,
7(z)68--68, 7(z)194--194, 7(z)214--214, 7(z)224--224, 7(z)253--253,
7(z)279--279, 8(z)33--33, 8(z)92--92, 8(z)102--102, 8(z)129--129
-
first, breadth-, 5(z)72--72
-
First, Emily, 4(z)231--231
-
first, functional-, 2(z)82--82
-
First-Class, 7(z)297--297, 8(z)48--48
-
first-class, 3(z)10--10, 4(z)100--100, 4(z)101--101, 4(z)125--125,
5(z)64--64, 6(z)111--111, 6(z)126--126, 8(z)48--48
-
First-Order, 7(z)259--259
-
first-order, 2(z)26--26, 3(z)102--102, 4(z)64--64, 5(z)145--145,
6(z)191--191, 7(z)69--69, 7(z)72--72, 7(z)190--190, 8(z)13--13,
8(z)40--40, 8(z)45--45, 8(z)84--84
-
First:2020:TSA, 4(z)231--231
-
Firth, Jack, 7(z)242--242
-
Firth, Jack, see Flatt, Matthew
-
Fischer, Marc, 2(z)156--156, 7(z)138--138, 7(z)186--186
-
Fischer, Marc, see Beurer-Kellner, Luca,
see Bielik, Pavol,
see Müller, Mark Niklas
-
Fisher, Kathleen, 2(z)1--1, 2(z)80--80, 3(z)95--95, 7(z)293--293
-
Fisher, Kathleen, see Maina, Solomon,
see Miltner, Anders
-
Fisler, Kathi, 6(z)79--79, 7(z)215--215
-
Fisler, Kathi, see Dyer, Tristan,
see Lu, Kuang-Chen
-
fit, 2(z)108--108, 4(z)181--181, 5(z)165--165
-
fit-for-all, one-, 8(z)63--63
-
fitch-style, 3(z)109--109, 6(z)118--118
-
Fittingly, 4(z)73--73
-
Fitzgibbon, Andrew, 3(z)97--97, 6(z)48--48
-
Fitzgibbon, Andrew, see Krawiec, Faustyna,
see Shaikhha, Amir
-
five, 3(z)120--120, 3(z)186--186, 6(z)3--3, 7(z)68--68
-
five, twenty-, 3(z)153--153
-
fix, 2(z)125--125, 3(z)159--159, 4(z)143--143
-
fixed, 1(z)105--105, 2(z)113--113, 4(z)33--33, 4(z)108--108, 6(z)17--17,
7(z)253--253
-
fixing, 2(z)133--133, 3(z)159--159, 6(z)159--159
-
FixML, 2(z)158--158
-
fixpoint, 3(z)26--26, 3(z)111--111, 4(z)14--14, 4(z)125--125,
4(z)161--161, 5(z)38--38, 6(z)191--191, 7(z)6--6, 7(z)72--72,
7(z)125--125, 7(z)138--138, 7(z)211--211, 7(z)221--221, 8(z)86--86
-
fix/repair, 6(z)159--159
-
flag, 2(z)116--116, 3(z)189--189
-
flagged, 2(z)116--116
-
Flake, Peter, 4(z)87--87
-
Flake:2020:VHA, 4(z)87--87
-
flaky, 4(z)202--202
-
Flan, 8(z)86--86
-
Flanagan, Cormac, 2(z)118--118, 4(z)156--156
-
Flanagan, Cormac, see Alpernas, Kalev
-
Flanagan:2020:AVB, 4(z)156--156
-
flap, 7(z)155--155
-
FlashProfile, 2(z)150--150
-
flat, 3(z)83--83, 4(z)73--73
-
Flatt, Matthew, 3(z)78--78, 7(z)242--242
-
Flatt, Oliver, 5(z)23--23, 7(z)125--125, 7(z)258--258
-
Flatt, Oliver, see Pal, Anjali,
see Willsey, Max, \see{Zhang, Yihong
-
Flatt:2019:RRC, 3(z)78--78
-
Flatt:2023:RNS, 7(z)242--242
-
flavor, 4(z)65--65
-
flavour, 3(z)147--147
-
flaw, 4(z)89--89
-
fledged, full-, 2(z)116--116
-
flexibility, 2(z)133--133, 4(z)106--106, 4(z)145--145, 4(z)164--164,
5(z)112--112, 7(z)260--260
-
flexible, 3(z)105--105, 4(z)201--201, 5(z)2--2, 6(z)123--123,
7(z)192--192, 7(z)270--270, 8(z)136--136
-
Flink, 4(z)153--153, 7(z)95--95
-
flips, 8(z)32--32
-
float, 6(z)3--3, 6(z)159--159
-
floating, 3(z)169--169, 4(z)73--73, 4(z)81--81, 5(z)29--29, 6(z)3--3,
7(z)188--188
-
floating-point, 2(z)47--47, 3(z)99--99, 3(z)169--169, 4(z)60--60,
6(z)159--159
-
Flood, 5(z)148--148
-
Florence, Spencer P., 1(z)1--1
-
Florence, Spencer P., see St-Amour, Vincent
-
Flores-Lamas, Alejandro, 6(z)45--45
-
Flores-Lamas, Alejandro, see Chen, Taolue
-
Florio, Cecilia, Di, 7(z)63--63
-
flow, 2(z)37--37, 2(z)107--107, 2(z)111--111, 2(z)115--115, 2(z)117--117,
2(z)118--118, 3(z)19--19, 3(z)20--20, 3(z)25--25, 3(z)189--189,
4(z)93--93, 4(z)105--105, 4(z)139--139, 4(z)225--225, 5(z)19--19,
5(z)31--31, 5(z)160--160, 6(z)87--87, 6(z)90--90, 6(z)172--172,
6(z)175--175, 7(z)20--20, 7(z)68--68, 7(z)175--175, 7(z)237--237,
8(z)20--20, 8(z)21--21, 8(z)44--44, 8(z)94--94, 8(z)100--100
-
Flow, Control-, 7(z)232--232, 7(z)292--292
-
flow, control-, 3(z)5--5, 4(z)139--139, 6(z)117--117
-
flow, data-, 2(z)162--162, 7(z)292--292
-
flow, information-, 5(z)10--10, 5(z)35--35, 5(z)99--99
-
flow, value-, 5(z)163--163
-
flow-analysis-based, control-, 2(z)116--116
-
flow-based, value-, 4(z)233--233
-
flow., 7(z)68--68
-
Flow2Vec, 4(z)233--233
-
FlowCFL, 4(z)178--178
-
flows, under-, 6(z)4--4
-
Flückiger, Olivier, 2(z)49--49, 4(z)220--220, 5(z)46--46,
5(z)101--101, see Barrière, Aurèle,
see Goel, Aviral
-
Fluckiger:2018:CSO, 2(z)49--49
-
Fluckiger:2020:CDF, 4(z)220--220
-
fluent, 3(z)134--134, 7(z)105--105
-
Fluet, Matthew, 4(z)47--47, 8(z)38--38
-
Fluet, Matthew, see Westrick, Sam
-
Flur, Shaked, 2(z)19--19
-
Flur, Shaked, see Pulte, Christopher
-
Flux, 7(z)169--169
-
fly, 3(z)143--143
-
Fly, On-the-, 8(z)42--42
-
focus, 3(z)94--94, 3(z)145--145, 3(z)189--189, 4(z)7--7, 4(z)34--34,
4(z)228--228, 5(z)70--70, 5(z)86--86, 6(z)116--116, 7(z)196--196,
7(z)253--253, 8(z)64--64, 8(z)73--73
-
focused, 3(z)125--125, 4(z)73--73, 4(z)95--95, 5(z)7--7, 5(z)123--123,
5(z)139--139, 6(z)74--74, 6(z)148--148, 7(z)66--66, 7(z)177--177,
7(z)269--269, 8(z)35--35
-
focused, Gas-, 2(z)116--116
-
focused, gas-, 2(z)116--116
-
focusing, 4(z)95--95
-
focussed, 3(z)133--133, 5(z)38--38
-
FOL, 6(z)191--191
-
fold, 4(z)205--205
-
Folding, 7(z)119--119
-
folklore, 6(z)128--128
-
follow, 3(z)23--23, 4(z)103--103, 5(z)89--89
-
followed, 4(z)73--73
-
followed., 4(z)81--81
-
following, 3(z)9--9, 3(z)27--27, 4(z)7--7, 4(z)41--41, 4(z)136--136,
4(z)150--150, 5(z)39--39, 7(z)253--253
-
Foner, Kenneth, 2(z)101--101, 2(z)102--102
-
Foner, Kenneth, see Yorgey, Brent A.
-
Foner:2018:KYL, 2(z)102--102
-
footprint, 3(z)184--184, 5(z)129--129, 6(z)148--148, 7(z)274--274,
8(z)11--11
-
for, 6(z)116--116
-
for, conversion-, 3(z)3--3
-
for, numbers-, 5(z)39--39
-
for-all, one-fit-, 8(z)63--63
-
forbid, 4(z)209--209
-
force, 4(z)85--85, 4(z)92--92
-
forecasting, 4(z)72--72
-
foreign, 7(z)130--130
-
forest, 4(z)222--222, 5(z)151--151, 7(z)270--270
-
forest, disjoint-, 3(z)171--171
-
forever, 5(z)2--2, 5(z)26--26, 7(z)78--78
-
Forge, 8(z)116--116
-
fork, 4(z)74--74
-
fork-join, 5(z)148--148
-
forking, 5(z)80--80
-
form, 2(z)68--68, 2(z)115--115, 2(z)118--118, 2(z)134--134, 2(z)142--142,
3(z)16--16, 3(z)79--79, 3(z)112--112, 3(z)130--130, 3(z)161--161,
4(z)58--58, 5(z)6--6, 5(z)12--12, 5(z)14--14, 5(z)62--62, 5(z)80--80,
5(z)134--134, 5(z)158--158, 6(z)19--19, 6(z)74--74, 6(z)179--179,
6(z)183--183, 6(z)185--185, 7(z)40--40, 7(z)65--65, 7(z)68--68,
7(z)127--127, 8(z)140--140
-
formal, 1(z)34--34, 1(z)88--88, 2(z)47--47, 2(z)66--66, 2(z)75--75,
2(z)113--113, 2(z)136--136, 3(z)4--4, 3(z)123--123, 3(z)147--147,
3(z)149--149, 4(z)7--7, 4(z)20--20, 4(z)24--24, 4(z)34--34,
4(z)41--41, 4(z)43--43, 4(z)129--129, 4(z)163--163, 4(z)184--184,
4(z)207--207, 4(z)231--231, 5(z)7--7, 5(z)11--11, 5(z)41--41,
5(z)47--47, 5(z)56--56, 5(z)61--61, 5(z)66--66, 5(z)67--67,
5(z)78--78, 5(z)117--117, 5(z)122--122, 5(z)143--143, 5(z)145--145,
5(z)162--162, 6(z)15--15, 6(z)43--43, 6(z)45--45, 6(z)47--47,
6(z)50--50, 6(z)53--53, 6(z)57--57, 6(z)74--74, 6(z)99--99,
6(z)130--130, 6(z)132--132, 6(z)136--136, 6(z)142--142,
6(z)169--169, 7(z)11--11, 7(z)34--34, 7(z)39--39, 7(z)60--60,
7(z)77--77, 7(z)85--85, 7(z)89--89, 7(z)91--91, 7(z)121--121,
7(z)154--154, 7(z)161--161, 7(z)193--193, 7(z)251--251,
7(z)269--269, 7(z)273--273, 7(z)275--275, 8(z)3--3, 8(z)64--64,
8(z)66--66, 8(z)92--92, 8(z)116--116
-
formal-methods, 7(z)192--192
-
formalisation, 3(z)27--27, 6(z)22--22, 8(z)56--56
-
formalised, 3(z)133--133
-
formalising, 3(z)135--135, 4(z)11--11, 6(z)22--22, 6(z)53--53
-
formalism, 3(z)25--25, 4(z)156--156, 4(z)161--161, 6(z)31--31,
6(z)99--99
-
formalization, 2(z)114--114, 3(z)112--112, 3(z)142--142, 4(z)73--73,
4(z)116--116, 6(z)83--83, 7(z)212--212, 8(z)49--49, 8(z)60--60
-
formalize, 3(z)145--145, 3(z)166--166, 4(z)19--19, 7(z)85--85
-
formalized, 2(z)125--125, 3(z)166--166, 7(z)150--150, 7(z)220--220,
8(z)12--12
-
formalizing, 3(z)145--145
-
formally, 2(z)66--66, 3(z)83--83, 3(z)92--92, 4(z)7--7, 4(z)184--184,
4(z)231--231, 5(z)46--46, 5(z)66--66, 5(z)146--146, 7(z)9--9,
7(z)85--85, 7(z)106--106, 7(z)107--107, 7(z)224--224, 7(z)288--288,
8(z)68--68, 8(z)74--74
-
Formally-Verified, 7(z)116--116
-
format, 2(z)80--80, 2(z)123--123, 3(z)82--82, 3(z)146--146, 3(z)169--169,
4(z)131--131, 4(z)197--197, 4(z)212--212, 6(z)148--148,
7(z)150--150, 7(z)238--238, 8(z)99--99
-
formatted, 4(z)81--81
-
formedness, well-, 3(z)29--29, 6(z)110--110
-
former, 6(z)13--13, 7(z)196--196
-
formula, 2(z)148--148, 4(z)193--193, 5(z)118--118, 6(z)10--10,
6(z)164--164, 7(z)6--6, 7(z)72--72, 8(z)67--67, 8(z)138--138
-
formulate, 4(z)11--11, 6(z)47--47
-
formulated, 3(z)17--17, 3(z)158--158, 5(z)159--159, 6(z)176--176,
8(z)31--31, 8(z)35--35
-
formulating, 3(z)107--107
-
formulation, 5(z)21--21, 5(z)34--34, 5(z)124--124, 6(z)12--12,
6(z)62--62, 7(z)57--57, 7(z)298--298, 8(z)42--42
-
Formulog, 4(z)141--141
-
Forster, Yannick, 1(z)13--13, 4(z)8--8, 4(z)27--27
-
Forster, Yannick, see Sozeau, Matthieu
-
Forster:2017:EPU, 1(z)13--13
-
Forster:2020:WCV, 4(z)27--27
-
Fortran, 2(z)108--108, 2(z)120--120, 4(z)72--72, 4(z)81--81
-
Fortunately, 7(z)200--200
-
forward, 4(z)73--73, 4(z)102--102, 5(z)28--28, 5(z)61--61, 7(z)83--83,
8(z)21--21, 8(z)82--82
-
forward, ``modes''-, 7(z)43--43
-
Forward--Backward, 7(z)174--174
-
forward-mode, 3(z)97--97, 7(z)54--54
-
forwarded, 4(z)42--42
-
forwarding, 7(z)269--269
-
Foster, 3(z)95--95
-
Foster, Jeffrey S., 3(z)132--132, 5(z)106--106, 7(z)171--171
-
Foster, Jeffrey S., see Guria, Sankha Narayan,
see Kazerounian, Milod,
see Mariano, Benjamin
-
Foster, Nate, 4(z)61--61, 5(z)41--41, 6(z)40--40, 7(z)269--269
-
Foster, Nate, see Doenges, Ryan,
see Eichholz, Matthias,
see Mohan, Anshuman, \see{Smolka, Steffen
-
fostered, 3(z)144--144
-
Fouladi, Sadjad, 2(z)118--118
-
Fouladi, Sadjad, see Alpernas, Kalev
-
found, 3(z)91--91, 3(z)125--125, 3(z)180--180, 4(z)43--43, 4(z)132--132,
4(z)207--207, 6(z)29--29, 8(z)57--57
-
found, fuzzer-, 3(z)155--155
-
foundation, 1(z)20--20, 2(z)10--10, 2(z)42--42, 2(z)65--65, 2(z)66--66,
2(z)109--109, 3(z)149--149, 3(z)166--166, 4(z)34--34, 4(z)43--43,
4(z)73--73, 4(z)121--121, 4(z)163--163, 4(z)208--208, 4(z)226--226,
5(z)41--41, 5(z)79--79, 6(z)39--39, 6(z)47--47, 6(z)63--63,
6(z)72--72, 6(z)179--179, 6(z)185--185, 7(z)11--11, 7(z)17--17,
7(z)68--68, 7(z)93--93, 7(z)181--181, 7(z)200--200, 8(z)3--3,
8(z)26--26, 8(z)72--72, 8(z)140--140
-
foundational, 6(z)29--29, 6(z)182--182, 7(z)29--29, 8(z)112--112
-
foundationally, 7(z)217--217, 8(z)69--69
-
founded, 4(z)75--75
-
founded, well-, 3(z)86--86, 5(z)122--122
-
Founding, 3(z)85--85
-
four, 3(z)189--189
-
fourfold, 3(z)30--30
-
Fourier, 4(z)81--81, 8(z)123--123
-
Fournet, Cédric, 1(z)17--17, 2(z)65--65,
see Ahman, Danel,
see Protzenko, Jonathan
-
Fourtounis, George, 1(z)68--68
-
Fourtounis, George, see Grech, Neville
-
Fowler, Simon, 3(z)28--28, 7(z)191--191
-
Fowler:2019:EAS, 3(z)28--28
-
Fowler:2023:SDP, 7(z)191--191
-
Fox, Anthony C. J., 7(z)88--88
-
Fox, Roy, 3(z)168--168
-
Fox, Roy, see Bavishi, Rohan
-
Fox:2023:VMA, 7(z)88--88
-
FP, 4(z)75--75, 5(z)29--29, 6(z)3--3, 7(z)198--198
-
FPC, 8(z)13--13
-
FPC, LNL-, 3(z)111--111
-
FPGA, 5(z)120--120
-
FR, 3(z)166--166
-
fraction, 3(z)177--177
-
fractional, 5(z)9--9, 6(z)163--163, 8(z)131--131
-
fragment, 2(z)135--135, 4(z)9--9, 4(z)172--172, 5(z)96--96, 5(z)99--99,
5(z)137--137, 6(z)22--22, 6(z)85--85, 7(z)69--69
-
frame, 6(z)103--103
-
framed, 7(z)93--93
-
framework, 1(z)10--10, 1(z)34--34, 1(z)76--76, 1(z)98--98, 2(z)71--71,
2(z)77--77, 2(z)79--79, 2(z)93--93, 2(z)100--100, 2(z)102--102,
2(z)110--110, 2(z)114--114, 2(z)115--115, 2(z)119--119,
2(z)135--135, 2(z)149--149, 2(z)150--150, 3(z)8--8, 3(z)21--21,
3(z)22--22, 3(z)29--29, 3(z)104--104, 3(z)181--181, 3(z)186--186,
4(z)4--4, 4(z)14--14, 4(z)34--34, 4(z)59--59, 4(z)98--98,
4(z)155--155, 4(z)158--158, 4(z)161--161, 4(z)165--165,
4(z)192--192, 4(z)203--203, 4(z)217--217, 5(z)3--3, 5(z)8--8,
5(z)17--17, 5(z)26--26, 5(z)27--27, 5(z)30--30, 5(z)83--83,
5(z)90--90, 5(z)100--100, 5(z)165--165, 6(z)9--9, 6(z)15--15,
6(z)28--28, 6(z)29--29, 6(z)55--55, 6(z)64--64, 6(z)106--106,
6(z)136--136, 6(z)151--151, 6(z)170--170, 6(z)190--190, 7(z)22--22,
7(z)29--29, 7(z)51--51, 7(z)68--68, 7(z)79--79, 7(z)95--95,
7(z)103--103, 7(z)116--116, 7(z)118--118, 7(z)119--119,
7(z)138--138, 7(z)156--156, 7(z)157--157, 7(z)208--208,
7(z)228--228, 7(z)278--278, 7(z)289--289, 7(z)292--292, 8(z)6--6,
8(z)10--10, 8(z)12--12, 8(z)21--21, 8(z)31--31, 8(z)74--74,
8(z)81--81, 8(z)103--103, 8(z)110--110, 8(z)124--124, 8(z)145--145
-
framing, 5(z)5--5
-
Francalanza, Adrian, 1(z)68--68
-
Francalanza, Adrian, see Grech, Neville
-
Franco, Juliana, 1(z)72--72
-
Franco, Juliana, see Clebsch, Sylvan
-
Frank, Justin, 8(z)77--77, 8(z)80--80
-
Frank, Justin, see Geller, Adam T.
-
Frank:2024:GWT, 8(z)77--77
-
free, 1(z)39--39, 2(z)48--48, 2(z)92--92, 2(z)100--100, 4(z)31--31,
4(z)50--50, 4(z)51--51, 4(z)103--103, 5(z)81--81, 6(z)4--4,
6(z)99--99, 6(z)101--101, 6(z)116--116, 6(z)140--140, 6(z)190--190,
7(z)36--36, 7(z)58--58, 7(z)86--86, 7(z)200--200, 7(z)281--281,
7(z)282--282, 8(z)145--145
-
Free, Conflict-, 7(z)162--162
-
free, Conflict-, 4(z)94--94, 6(z)173--173, 6(z)188--188
-
Free, Context-, 7(z)73--73, 7(z)119--119, 8(z)145--145
-
free, Context-, 7(z)119--119
-
free, context-, 3(z)127--127, 4(z)108--108, 5(z)17--17,
6(z)41--41, 6(z)180--180, 7(z)59--59, 7(z)150--150
-
free, coordination-, 6(z)173--173
-
free, cycle-, 6(z)103--103
-
free, data-race-, 3(z)133--133
-
Free, Deadlock-, 8(z)47--47
-
free, envy-, 7(z)179--179
-
free, lock-, 2(z)143--143, 3(z)128--128, 4(z)68--68, 7(z)91--91
-
Free, Matrix-, 7(z)246--246
-
free, Oracle-, 6(z)159--159
-
free, oracle-, 6(z)159--159
-
free, property-, 6(z)79--79
-
free, use-after-, 7(z)86--86
-
Free-Language, Context-, 4(z)178--178
-
freedom, 6(z)1--1, 6(z)107--107, 7(z)164--164, 8(z)47--47
-
freely, 3(z)101--101
-
Freer, Cameron E., 4(z)36--36, 8(z)61--61
-
Freer, Cameron E., see Ackerman, Nate,
see Saad, Feras A.
-
FreezeML, 6(z)111--111
-
French, Jon, 2(z)19--19
-
French, Jon, see Pulte, Christopher
-
frequency, 4(z)203--203
-
frequent, 4(z)159--159
-
frequently, 2(z)139--139, 3(z)125--125, 3(z)142--142, 4(z)42--42,
4(z)74--74, 4(z)84--84, 4(z)136--136, 8(z)17--17
-
fresh, 5(z)11--11
-
Freshness, 8(z)14--14
-
Freund, Stephen N., 4(z)156--156
-
Freund, Stephen N., see Flanagan, Cormac
-
Freyd, Philip, Johnson-, 8(z)60--60
-
Friedman, Michal, 1(z)67--67, 3(z)128--128
-
Friedman, Michal, see Cohen, Nachshon,
see Zuriel, Yoav
-
friendly, 1(z)106--106
-
Frohlich, Samantha, 7(z)189--189, 7(z)200--200
-
Frohlich, Samantha, see Goldstein, Harrison,
see Matsuda, Kazutaka
-
From, Reads-, 7(z)137--137
-
from, reads-, 3(z)150--150, 5(z)164--164, 8(z)21--21
-
from-scratch, 2(z)139--139, 8(z)32--32
-
Fromherz, Aymeric, 4(z)121--121, 5(z)85--85, 7(z)202--202
-
Fromherz, Aymeric, see Ho, Son,
see Swamy, Nikhil
-
Fromherz:2021:PSP, 5(z)85--85
-
Fronchetti, Felipe, 6(z)133--133
-
Fronchetti, Felipe, see Ritschel, Nico
-
front, 3(z)95--95, 4(z)73--73, 6(z)53--53
-
front,, 3(z)95--95
-
Frostig, Roy, 7(z)43--43
-
Frostig, Roy, see Radul, Alexey
-
FRP, 3(z)109--109, 5(z)2--2, 7(z)205--205
-
fruitfully, 7(z)68--68
-
fruits, 7(z)200--200
-
Frumin, Dan, 6(z)155--155, 8(z)12--12
-
Frumin:2022:BSP, 6(z)155--155
-
Frumin:2024:MDS, 8(z)12--12
-
Fu, Hongfei, 3(z)129--129, 4(z)25--25, 6(z)132--132
-
Fu, Hongfei, see Huang, Mingzhang,
see Liu, Hongming, \see{Wang, Peixin
-
Fu, Peng, 7(z)11--11
-
Fu, Rongxiao, 7(z)260--260
-
Fu, Rongxiao, see Tang, Wenhao
-
Fu, Weili, 5(z)108--108
-
Fu, Zhoulai, 4(z)60--60
-
Fu, Zhoulai, see Zou, Daming
-
Fu:2021:LDL, 5(z)108--108
-
Fu:2023:PQD, 7(z)11--11
-
Fueled, 8(z)14--14
-
fulfill, 6(z)116--116, 6(z)151--151
-
Fulfilling, 4(z)74--74, 8(z)101--101
-
full, 2(z)100--100, 3(z)169--169, 4(z)63--63, 4(z)73--73, 4(z)118--118,
4(z)152--152, 4(z)172--172, 5(z)42--42, 5(z)163--163, 6(z)82--82,
6(z)120--120
-
full-featured, 2(z)127--127
-
full-fledged, 2(z)116--116
-
full-scale, 2(z)81--81, 8(z)21--21
-
fully, 3(z)10--10, 3(z)84--84, 3(z)93--93, 3(z)102--102, 3(z)133--133,
3(z)145--145, 3(z)189--189, 4(z)80--80, 4(z)112--112, 4(z)165--165,
4(z)231--231, 5(z)7--7, 5(z)37--37, 5(z)109--109, 5(z)156--156,
6(z)2--2, 6(z)4--4, 6(z)44--44, 6(z)159--159, 7(z)55--55,
7(z)149--149, 7(z)198--198, 7(z)271--271, 8(z)12--12, 8(z)13--13,
8(z)72--72
-
fully-abstract, 3(z)24--24
-
function., 5(z)148--148
-
functional, non-, 2(z)102--102
-
functional-first, 2(z)82--82
-
functional-imperative, 3(z)92--92
-
functional-style, 4(z)168--168
-
functionality, 4(z)49--49, 4(z)92--92, 7(z)41--41, 7(z)243--243,
8(z)72--72
-
functionally, 8(z)114--114
-
Functions-as-a-Service, 5(z)133--133
-
functions., 6(z)116--116
-
functor, 3(z)10--10, 3(z)22--22, 3(z)90--90, 4(z)31--31
-
Functorial, 5(z)57--57
-
fundamental, 2(z)66--66, 3(z)5--5, 3(z)157--157, 4(z)30--30, 4(z)36--36,
4(z)46--46, 4(z)64--64, 4(z)69--69, 4(z)100--100, 4(z)118--118,
4(z)147--147, 4(z)178--178, 5(z)34--34, 5(z)72--72, 6(z)62--62,
6(z)68--68, 6(z)157--157, 7(z)73--73, 7(z)119--119, 7(z)137--137,
8(z)21--21, 8(z)65--65, 8(z)145--145
-
fundamentally, 2(z)71--71, 4(z)151--151, 7(z)219--219
-
funds, 2(z)116--116, 3(z)189--189
-
further, 3(z)160--160, 3(z)189--189
-
Furthermore, 2(z)162--162, 3(z)169--169, 3(z)177--177, 6(z)4--4
-
fused, 7(z)154--154, 7(z)155--155
-
fusing, 1(z)76--76, 6(z)108--108, 8(z)41--41
-
fusion, 5(z)73--73
-
Futamura, 3(z)126--126
-
Futhark, 2(z)97--97
-
future, 1(z)103--103, 2(z)76--76, 3(z)158--158, 3(z)186--186, 4(z)45--45,
4(z)73--73, 6(z)174--174, 8(z)17--17, 8(z)53--53
-
fuzz, 3(z)174--174
-
fuzzer-found, 3(z)155--155
-
FuzzFactory, 3(z)174--174
-
Fuzzi, 3(z)93--93
-
fuzzing, 3(z)155--155, 3(z)174--174, 4(z)186--186, 5(z)156--156,
6(z)73--73, 6(z)169--169, 7(z)75--75, 7(z)110--110, 7(z)181--181,
7(z)243--243