Last update: Sat Oct 21 02:07:46 MDT 2023
Return to index directory
H
-
H, 9(3)347--354, 11(2)253--262, 16(2)250--251
-
Habouzit, Pierre, 17(4)547--612
-
Habouzit, Pierre, see Sewell, Peter
-
Hackett, J., 30(z)z
-
Hackett:2020:RTT, 30(z)z
-
had, 0(0)xxiii--657
-
Haftmann, Florian, 22(1)9--30
-
Haftmann, Florian, see Aehlig, Klaus
-
Hage, Jurriaan, 21(2)215--217, 22(3)375--377
-
Hage:2011:BRL, 21(2)215--217
-
Hage:2012:BRB, 22(3)375--377
-
Hains, Gaétan, 13(4)824--826
-
Hains:2003:BRI, 13(4)824--826
-
Hall, 5(4)653--660, 6(1)189--193, 9(3)347--354
-
Hall, Cordy V., 7(2)163--182
-
Hall, Cordy V., see Hutchison, Nigel W. O.
-
Hall, Prentice-, 6(2)375--377
-
Hall/CRC, 24(5)608--609
-
Hallenberg, Niels, 31(z)z
-
Hallenberg, Niels, see Elsman, Martin
-
Haller, Philipp, 28(z)z
-
Haller:2018:PMF, 28(z)z
-
Hammer, Matthew A., 24(1)56--112
-
Hammer, Matthew A., see Chen, Yan
-
Hammes, J., 7(1)103--123
-
Hammes, Jeffrey, 5(3)283--316
-
Hammes:1995:CIH, 5(3)283--316
-
Hammes:1997:EFL, 7(1)103--123
-
Hammond, 10(5)501--508
-
Hammond, K., 8(1)23--60
-
Hammond, K., see Trinder, P. W.
-
Hammond, Kevin, 6(4)621--655, 26(z)z
-
Hammond, Kevin, see Berthold, Jost,
see Hartel, Pieter H.
-
Hancock, Peter, 14(5)594--597, 25(z)z
-
Hancock, Peter, see Altenkirch, Thorsten
-
Hancock:2004:BRF, 14(5)594--597
-
hand, first-, 0(0)xvi--133
-
Handbook, 0(0)xiii--515, 0(0)xix--681, 21(6)663--664
-
handler, 27(z)z, 30(z)z
-
handling, 17(1)83--129
-
hands-on, 0(0)xvi--133
-
Hankin, Chris, 1(1)91--120, 15(5)703--749
-
Hankin, Chris, see Di Pierro, Alessandra,
see Hunt, Sebastian
-
Hankin, Paul D., 9(4)373--426
-
Hankin, Paul D., see Gordon, Andrew D.
-
Hanna, Keith, 9(2)147--166
-
Hanna:1999:ITP, 9(2)147--166
-
Hannan, John, 3(2)123--152, 8(3)239--273, 13(3)509--543
-
Hannan, John, see Fischbach, Adam
-
Hannan:1993:ENS, 3(2)123--152
-
Hannan:1998:TBE, 8(3)239--273
-
Hans-Wolfgang, 13(4)823--824
-
Hansen, 11(2)253--262
-
Hansen, Michael R., 0(0)xvi--355
-
Hansen:1999:IPU, 0(0)xvi--355
-
Hanus, Michael, 9(1)33--75, 11(2)253--262, 14(6)657--668
-
Hanus, Michael, see Antoy, Sergio
-
Hanus:1999:HON, 9(1)33--75
-
Hanus:2001:BRP, 11(2)253--262
-
hardback, 8(6)633--637, 11(2)253--262, 23(2)226--227
-
hardcover, 0(0)xi--277, 0(0)xii--171, 0(0)xii--301, 0(0)xiii--320,
0(0)xiii--448, 0(0)xiv--308, 0(0)xiv--445, 0(0)xv--240,
0(0)xvii--509, 0(0)xviii--363, 0(0)xviii--389, 0(0)xviii--471,
0(0)xix--681, 0(0)xxii--410, 0(0)xxiii--657, 0(0)xxvi--586,
0(0)xxx--439, 0(0)x--390, 12(0)vii--390, 24(4)523--523
-
Hardin, Thérèse, 4(1)113--115, 8(2)131--176,
see Curien, Pierre-Louis
-
Hardin:1998:FRS, 8(2)131--176
-
hardware, 0(0)xv--240, 2(2)127--202, 2(4)437--473, 16(2)157--196,
21(1)21--58
-
Haridi, 19(2)254--256
-
Haridi, Seif, 0(0)xxvii--900
-
Haridi, Seif, see Van Roy, Peter
-
Harmer, Terence J., 2(1)81--126
-
Harmer, Terence J., see Boyle, James M.
-
Harper, 24(4)523--523, 32(z)z
-
Harper, Robert, 0(0)xviii--471, 2(1)i, 3(4)389--389, 3(4)465--484,
6(3)393--418, 9(4)463--469, 10(1)135--136, 11(5)441--466,
17(4)613--673, 19(2)262--262, 20(5)417--461, 26(z)z, 27(z)z
-
Harper, Robert, see (Favonia), Kuen-Bang Hou,
see Angiuli, Carlo, \see{Appel, Andrew W.,
see Blelloch, Guy,
see Despeyroux, Joëlle,
see Spoonhower, Daniel
-
Harper:1993:TFC, 3(4)465--484
-
Harper:1996:OIE, 6(3)393--418
-
Harper:1999:PDD, 9(4)463--469, 19(2)262--262
-
Harper:2007:MML, 17(4)613--673
-
Harper:2009:FPP, 9(4)463--469, 19(2)262--262
-
Harper:2013:PFP, 0(0)xviii--471
-
Harris, Tim, 26(z)z
-
Harris, Tim, see Sivaramakrishnan, K. C.
-
Harrison, 5(1)131--134, 21(6)663--664
-
Harrison, J. (John), 0(0)xix--681
-
Harrison, Rachel, 0(0)x--212, 3(1)67--75
-
Harrison, William L., 15(6)837--891
-
Harrison:1993:ADT, 0(0)x--212
-
Harrison:1993:UFL, 3(1)67--75
-
Harrison:2005:LDH, 15(6)837--891
-
Harrison:2009:HPL, 0(0)xix--681
-
Hartel, 9(3)347--354
-
Hartel, Pieter, 3(4)565--566, 5(3)279--281, 9(4)479--482, 14(2)129--135
-
Hartel, Pieter H., 5(4)549--581, 6(1)29--46, 6(4)621--655
-
Hartel, Pieter H., see Vree, Willem G.
-
Hartel:1993:SIS, 3(4)565--566
-
Hartel:1995:SIS, 5(3)279--281
-
Hartel:1996:BIF, 6(4)621--655
-
Hartel:1996:RCS, 6(1)29--46
-
Hartel:1999:BRF, 9(4)479--482
-
Hartel:2004:FCE, 14(2)129--135
-
has, 0(0)xxiii--657, 0(0)xxvi--586
-
Hasegawa, Masahito, 10(1)77--89, 19(6)699--722
-
Hasegawa, Masahito, see Nakata, Keiko
-
Hasegawa:2000:GTL, 10(1)77--89
-
Haskell, 0(0)viii--145, 0(0)xi--277, 0(0)xii--171, 0(0)xviii--363,
0(0)xviii--375, 0(0)xxiii--402, 4(0)x--426, 5(3)283--316,
6(3)419--444, 8(4)437--444, 8(6)633--637, 10(1)1--18, 10(3)319--319,
10(5)501--508, 12(4)293--294, 12(4)295--357, 12(4)359--374,
12(4)375--392, 12(4)393--434, 12(4)435--468, 12(4)469--510,
13(6)1077--1085, 14(2)211--245, 14(2)247--249, 14(5)489--502,
15(6)837--891, 16(1)21--34, 16(2)249--250, 17(3)426--428,
19(2)256--259, 20(3)271--302, 20(3)303--352, 23(2)145--160,
23(3)351--352, 24(2)421--422, 25(z)z, 26(z)z, 30(z)z, 31(z)z,
32(z)z
-
Haskell-Embedded, 24(4)434--473
-
Haskore, 6(3)465--484
-
haste, 7(5)541--547
-
Hasuo, Ichiro, 19(3)403--438
-
Hasuo, Ichiro, see Jacobs, Bart
-
Hatcliff, John, 7(3)303--319
-
Hatcliff:1997:TC, 7(3)303--319
-
Hausman, Bogumil, 6(4)621--655
-
Hausman, Bogumil, see Hartel, Pieter H.
-
have, 0(0)xvi--133, 0(0)xxiii--657
-
having, 0(0)xxiii--402
-
Hayden, Mark, 10(1)91--120
-
Hayden:2000:DCM, 10(1)91--120
-
Haynes, 13(4)829--831
-
Haynes, Christopher Thomas, 0(0)xviii--389
-
Haynes, Christopher Thomas, see Friedman, Daniel P.
-
HB, 14(5)594--597
-
heap, 3(2)217--245, 6(1)47--74, 6(4)587--620, 9(1)93--104
-
Hébert, 25(z)z
-
Heckmann, Reinhold, 7(5)451--485
-
Heckmann:1997:FDT, 7(5)451--485
-
Hedberg, Michael, 8(4)413--436
-
Hedberg:1998:CTM, 8(4)413--436
-
Heeren, Bastiaan, 20(3)375--413
-
Heeren, Bastiaan, see Van Noort, Thomas
-
height, 7(4)441--445
-
Helmut, 11(4)433--436
-
help, 0(0)xv--240, 0(0)xvi--133, 0(0)xvii--485
-
Hendriks, Dimitri, 24(2)166--217
-
Hendriks, Dimitri, see Endrullis, Jörg
-
Henglein, Fritz, 4(4)435--477, 22(3)300--374, 28(z)z
-
Henglein, Fritz, see Keller, Gabriele
-
Henglein:1994:CTI, 4(4)435--477
-
Henglein:2012:GTD, 22(3)300--374
-
Hennessy, Matthew, 8(5)447--491
-
Hennessy, Matthew, see Ferreira, William
-
Herbelin, Hugo, 4(1)77--88, 18(3)373--419, 22(2)153--180
-
Herbelin, Hugo, see Ariola, Zena M.,
see Coquand, Thierry, \see{Siles, Vincent
-
Herman, 25(z)z
-
Herrmann, Christoph A., 9(3)279--310
-
Herrmann:1999:PDC, 9(3)279--310
-
heterogeneous, 19(3)287--310, 27(z)z, 30(z)z
-
Heunen, Chris, 19(3)403--438
-
Heunen, Chris, see Jacobs, Bart
-
Hickey, Timothy J., 14(5)475--488
-
Hickey:2004:CLS, 14(5)475--488
-
Hicks, Michael, 18(4)437--502
-
Hicks, Michael, see Sewell, Peter
-
hidden, 23(1)38--144
-
hierarchical, 26(z)z
-
High, 15(3)351--352
-
high-level, 13(6)1005--1059, 17(4)547--612
-
high-performance, 12(4)359--374, 14(1)21--68
-
higher, 0(0)xx--472, 4(4)557--559, 8(6)633--637, 12(0)vii--390,
18(2)179--249, 23(6)658--700, 27(z)z, 31(z)z
-
higher-order, 0(0)xxiii--657, 1(4)459--494, 2(3)323--343, 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, 9(1)33--75, 9(5)527--564, 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
-
highly, 0(0)xvii--485
-
Hill, 7(4)447--449
-
Hill, McGraw-, 0(0)xxiii--657
-
Hill, Steve, 6(3)445--464
-
Hill:1996:CPE, 6(3)445--464
-
Hillerström, Daniel, 30(z)z
-
Hillerstrom:2020:EHG, 30(z)z
-
Hindley, 21(1)115--117
-
Hinze, Ralf, 9(1)93--104, 9(5)577--578, 10(3)305--317, 10(4)327--351,
11(5)493--524, 11(6)681--689, 12(6)601--607, 13(5)935--944,
14(6)601--601, 15(1)1--13, 16(2)197--217, 16(4)451--483,
19(5)491--508, 19(6)633--644, 20(3)211--212, 20(5)463--535,
21(3)219--234, 26(z)z, 28(z)z, 32(z)z
-
Hinze:1999:BRP, 9(5)577--578
-
Hinze:1999:EBH, 9(1)93--104
-
Hinze:2000:GGT, 10(4)327--351
-
Hinze:2000:PTB, 10(3)305--317
-
Hinze:2001:MD, 11(5)493--524
-
Hinze:2001:WW, 11(6)681--689
-
Hinze:2002:FLB, 12(6)601--607
-
Hinze:2003:FCA, 13(5)935--944
-
Hinze:2004:SIF, 14(6)601--601
-
Hinze:2005:TPC, 15(1)1--13
-
Hinze:2006:FTS, 16(2)197--217
-
Hinze:2006:GM, 16(4)451--483
-
Hinze:2009:BT, 19(5)491--508
-
Hinze:2009:PFB, 19(6)633--644
-
Hinze:2010:CSC, 20(5)463--535
-
Hinze:2010:SIG, 20(3)211--212
-
Hinze:2011:TQA, 21(3)219--234
-
Hinze:2016:USR, 26(z)z
-
Hinze:2018:BOE, 28(z)z
-
Hinze:2018:CT, 28(z)z
-
Hinze:2018:PPS, 28(z)z
-
Hinze:2022:SN, 32(z)z
-
Hirai, Yoichi, 21(3)287--307
-
Hirai:2011:BWB, 21(3)287--307
-
Hirschkoff, Daniel, 13(2)415--451
-
Hirschkoff, Daniel, see Röckl, Christine
-
history, 0(0)xxiii--402, 21(2)159--207
-
HMX, 18(2)251--283
-
Hoare, 18(5)865--911, 21(2)159--207
-
hobbyist, 0(0)xvii--485
-
hoc, 23(4)357--401
-
Hochstadt, Sam, Tobin-, 27(z)z, 28(z)z
-
Hoeven, Gerrit, Van Der, 3(1)49--65
-
Hoffman, Martin, 16(3)327--372
-
Hoffman, Martin, see Bucalo, Anna
-
Hoffmann, Jan, 25(z)z
-
Hoffmann:2015:TBA, 25(z)z
-
Hofmann, Martin, 5(4)593--635, 9(3)247--277, 18(2)141--178
-
Hofmann, Martin, see Aspinall, David
-
Hofmann:1995:UTT, 5(4)593--635
-
Hofmann:1999:SLM, 9(3)247--277
-
HOL, 0(0)xx--472, 4(4)557--559, 9(2)191--223
-
HOLCF, 9(2)191--223
-
Holdermans, Stefan, 20(3)375--413
-
Holdermans, Stefan, see Van Noort, Thomas
-
homomorphism, 6(4)657--665
-
Homotopical, 26(z)z
-
Honda, Kohei, 15(2)293--349, 17(4)473--546
-
Honda, Kohei, see Berger, Martin
-
Honda:2005:NTF, 15(2)293--349
-
Honour, 14(1)125--128
-
Honsell, Furio, 8(4)335--365, 16(3)327--372
-
Honsell, Furio, see Bucalo, Anna
-
Honsell:1998:SOS, 8(4)335--365
-
Hoogendijk, Paul, 6(1)1--28, 10(2)191--225
-
Hoogendijk, Paul, see Bird, Richard
-
Hoogendijk:2000:CTC, 10(2)191--225
-
Hoogerwoord, Rob R., 2(4)505--513
-
Hoogerwoord:1992:FPS, 2(4)505--513
-
Hoon, Walter A. C. A. J., De, 5(3)383--414
-
Horiguchi, Susumi, 15(4)615--650
-
Horiguchi, Susumi, see Scaife, Norman
-
Horn, 24(2)419--421
-
Horn, David, Van, 18(2)179--249, 22(4)705--746, 24(2)218--283, 27(z)z,
29(z)z
-
Hornof, Luke, 13(3)677--708
-
Hornof, Luke, see Smith, Frederick
-
Horstmeyer, T., 26(z)z
-
Horstmeyer, T., see Dieterle, M.
-
Hosaya, Haruo, 16(6)711--750
-
Hosaya:2006:REF, 16(6)711--750
-
Hosoya, Haruo, 13(6)961--1004
-
Hosoya:2003:REP, 13(6)961--1004
-
HOT, 7(2)127--128, 10(6)509--559
-
Hou:2017:CCP, 27(z)z
-
Hough, 21(2)129--133
-
how, 0(0)xiii--448, 0(0)xiii--515, 0(0)xvi--133, 0(0)xvii--485,
0(0)xviii--471, 0(0)xxiii--402, 0(0)xxvi--586, 4(1)89--112,
11(6)629--671, 21(6)664--666, 23(4)357--401, 25(z)z, 29(z)z,
31(z)z
-
Hritcu, Catalin, 22(1)31--105, 26(z)z
-
Hritcu, Catalin, see Bierman, Gavin M.
-
Hritcu:2016:TNQ, 26(z)z
-
hs-to-coq, 31(z)z
-
HtDP-based, 28(z)z
-
HTML, 12(4)435--468
-
HTTP, 0(0)xvi--133
-
http://www.pragprog.com, 21(2)215--217
-
Hu, Zhenjiang, 22(3)275--299, 23(5)515--551, 32(z)z
-
Hu, Zhenjiang, see Iwasaki, Hideya,
see Morihata, Akimasa,
see Voigtländer, Janis
-
Huang, Xuejing, 31(z)z
-
Huang:2021:TMO, 31(z)z
-
Hudak, 10(5)501--508, 17(3)426--428
-
Hudak, Paul, 3(1)1--2, 5(4)501--547, 6(3)465--484, 14(4)i--ii,
21(4)467--496
-
Hudak, Paul, see Barendregt, Henk,
see Kishon, Amir, \see{Liu, Hai
-
Hudak:1996:HMN, 6(3)465--484
-
Hudak:2000:HSE, 0(0)xviii--363
-
Hudak:2004:E, 14(4)i--ii
-
Hudson, Shane, 25(z)z
-
Hudson:2015:RLY, 25(z)z
-
Huet, Gérard, 4(3)371--394, 7(5)549--554, 13(2)257--260,
15(4)573--614
-
Huet:1994:RTC, 4(3)371--394
-
Huet:1997:Z, 7(5)549--554
-
Huet:2003:SIL, 13(2)257--260
-
Huet:2005:FTM, 15(4)573--614
-
huge, 0(0)xxiii--402
-
Hughes, 2(2)227--231
-
Hughes, Arthur, 20(3)213--270
-
Hughes, Arthur, see Verbruggen, Wendy
-
Hughes, Jan, De Muijnck-, 30(z)z
-
Hughes, John, 3(1)1--2, 14(5)489--502, 26(z)z
-
Hughes, John, see Barendregt, Henk,
see Hritcu, Catalin
-
Hughes:2004:GVH, 14(5)489--502
-
HUnit, 0(0)xxiii--402
-
Hunt, Sebastian, 1(1)91--120
-
Hunt:1991:FPF, 1(1)91--120
-
Hutchison, Nigel W. O., 7(2)163--182
-
Hutchison:1997:NEC, 7(2)163--182
-
Huth, 18(3)421--422
-
Huth, Michael, 0(0)xiv--427
-
Huth:2004:LCS, 0(0)xiv--427
-
Hutton, 19(2)256--259
-
Hutton, Graham, 0(0)xii--171, 2(3)323--343, 4(4)557--559, 6(1)181--188,
8(4)437--444, 9(4)355--372, 10(3)319--319, 12(4)293--294,
12(6)609--616, 17(6)777--792, 19(2)227--251, 20(3)353--373,
24(1)113--127, 24(4)474--522, 25(z)z, 26(z)z, 27(z)z, 28(z)z,
29(z)z, 30(z)z, 31(z)z, 32(z)z, 33(z)z
-
Hutton, Graham, see Bahr, Patrick,
see Gill, Andy, \see{Sculthorpe, Neil
-
Hutton:1992:HOF, 2(3)323--343
-
Hutton:1994:BRI, 4(4)557--559
-
Hutton:1996:FPB, 6(1)181--188
-
Hutton:1998:MPH, 8(4)437--444
-
Hutton:1999:TUE, 9(4)355--372
-
Hutton:2000:SIH, 10(3)319--319
-
Hutton:2002:CP, 12(6)609--616
-
Hutton:2002:SDI, 12(4)293--294
-
Hutton:2007:PH, 0(0)xii--171
-
Hutton:2007:WMC, 17(6)777--792
-
Hutton:2010:FFF, 20(3)353--373
-
Hutton:2014:PA, 24(4)474--522
-
Hutton:2015:PAa, 25(z)z
-
Hutton:2015:PAb, 25(z)z
-
Hutton:2015:PAc, 25(z)z
-
Hutton:2016:PAa, 26(z)z
-
Hutton:2016:PAb, 26(z)z
-
Hutton:2017:CYJ, 27(z)z
-
Hutton:2017:PAa, 27(z)z
-
Hutton:2017:PAb, 27(z)z
-
Hutton:2018:PA, 28(z)z
-
Hutton:2019:PAa, 29(z)z
-
Hutton:2019:PAb, 29(z)z
-
Hutton:2020:PAa, 30(z)z
-
Hutton:2020:PAb, 30(z)z
-
Hutton:2021:PAa, 31(z)z
-
Hutton:2021:PAb, 31(z)z
-
Hutton:2022:PAa, 32(z)z
-
Hutton:2022:PAb, 32(z)z
-
Hutton:2022:PAc, 32(z)z
-
Hutton:2023:PA, 33(z)z