keigoi's library

   -Hendrik   Abadi   Abe   Abolhassani   Abramsky   Aceto   Achermann   Affeldt   Agha   Agusa   Agustin   Ahmad   Aiken   Akama   Alberto   Allen   Amadio   Amtoft   Anderson   Appel   Arbab   Arthur   Asai   Assous   Atkey   Axelsen   Axelsson   Baars   Badros   Baeten   Balakrishnan   Balasubramaniam   Balat   Ball   Banerjee   Barboni   Baresi   Basili   Basten   Basu   Benaissa   Bengtsson   Benton   Berger   Bergstra   Berstel   Bertot   Biberstein   Bierman   Bjorg   Blackwell   Bloom   Blume   Boake   Bonelli   Boreale   Borgström   Boudol   Bracha   Brewer   Bruni   Burn   Burnett   Buschmann   Buth   Cacciagrano   Calvanese   Carbone   Cardelli   Carette   Carr   Carver   Castagna   Castellani   Castelluccia   Chakravarty   Chan   Chandra   Chaudron   Chen   Cheney   Chilimbi   Chlipala   Christensen   Christodorescu   Claessen   Classen   Cleaveland   Clemm   Cock   Cohen   Compagnoni   Conradi   Coppo   Corradini   Crégut   Crafa   Cremet   Culler   Czarnecki   Dam   Damas   Danvy   Daou   Darondeau   David   De Nicola   Degano   Degli   Denaro   Deng   Derrin   Despeyroux   Deutsch   Devanbu   Dezani-Ciancaglini   Diatchki   Discolo   Doane   Dogguy   Dolstra   Donini   Dragone   Dreyer   Drossopoulou   Duck   Dumas   Dwyer   Eisenbach   Elliot   Elphinstone   Erkök   Ernst   Erwig   Estublier   Far   Farenc   Felleisen   Feng   Ferdinand   Ferrari   Findler   Finne   Fiore   Fisher   Fokkink   Foster   Fournet   Francalanza   Francesco   Frisch   Fruhwirth   Gabbay   Gadducci   Gardner   Gasbichler   Gay   Gengler   Germain   Ghelli   Giacobazzi   Giannini   Gibbons   Gil   Glück   Gnesi   Godefroid   Godfrey   Goh   Gonthier   Gordon   Gorla   Gorrieri   Gould   Graunke   Green   Greenwood   Groote   Grossman   Gruhn   Guan   Guillemette   Gunter   Gurd   Hallgren   Hammond   Hangal   Hankin   Hanus   Haraty   Harman   Harper   Harris   Harrison   Hartel   Hattori   Heckmann   Heerink   Heintze   Hemel   Hennessy   Hennig   Henrard   Hicks   Hidders   Hierons   Hill   Hind   Hines   Hinze   Hiraki   Hochstein   Hole   Holland   Hollingsworth   Honda   Hong   Honsell   Hooman   Hopkins   Hsu   Hughes   Hym   Håkansson   Igarashi   Isobe   Istrail   Iwasaki   Jackson   Jagadeesan   Jeffrey   Jiang   Jim   Johnson   Jones   Kameyama   Kapser   Katayama   Kawabe   Keller   Kidd   Kirby   Kiselyov   Klein   Klint   Klop   Kobayashi   Koike   Kono   Koono   Koshkina   Kou   Kourie   Koved   Kramer   Krishnamurthi   Krishnaswamy   Kubo   Kuwabara   L&\#228;mmel   Lam   Lammel   Laney   Larsen   Launchbury   League   Leblang   Leijen   Lescanne   Leslie   Leucker   Levis   Lhoussaine   Li   Liao   Lim   Lin   Lindblad   Lindley   Liskov   Liu   Longley   Lämmel   Mabuchi   Madelaine   Maffeis   Maibaum   Mainetti   Mainland   Majumdar   Makholm   Malloy   Maman   Mano   Mansour   Marlow   Martel   Martin   Martioliet   Masaki   Mathijssen   Matsuda   Matsumoto   Matthews   Mcbride   Mccann   Mccarthy   Mcgregor   Medikonda   Meijer   Melgratti   Melski   Mendelson   Mens   Meredith   Merro   Meseguer   Meyer   Micallef   Mickan   Miculan   Miglani   Miller   Millstein   Milner   Minamide   Mizuno   Moggi   Mohr   Moller   Mongiello   Monnier   Montanari   Moore   Morrisett   Morrison   Mostrous   Mousavi   Munch   Murakami   Møller   Nakajima   Nardi   Naylor   Nestmann   Neubauer   Ni   Nielsen   Nielson   Nierstrasz   Noll   Notkin   Odersky   Odonnell   Oho   Okabe-Oho   Oliverstehr   Oquendo   O’donnell   Palamidessi   Palanque   Palm   Pang   Paolini   Parrow   Pasalic   Paxson   Peh   Perry   Peschanski   Peterson   Pettersson   Pettyjohn   Peyton-Jones   Pfenning   Phillips   Pierce   Pilegaard   Pistore   Pitcher   Pitts   Plotkin   Ponse   Porat   Prasad   Priami   Pucella   Pugliese   Qian   Rahimi   Rajamani   Ramakrishnan   Ranzato   Rathke   Ravara   Reghizzi   Ren   Reniers   Rensink   Reppy   Reps   Ricardo   Riecke   Riehle   Riely   Rinard   Robby   Robert   Robertson   Roggenbach   Rosati   Roussel   Roy   Runciman   Ruta   Sackman   San Pietro   Sands   Sangiorgi   Sasai   Scagnetto   Schafer   Schmidt   Schneider   Schrijvers   Schulz   Schupke   Schwartzbach   Scozzari   Seefried   Segura   Sen   Serjantov   Sewell   Shan   Shao   Shapiro   Shaw   Sheard   Shen   Shigeta   Simon   Sims   Singh   Smolka   Sommer   Sperber   Srba   Staton   Steele   Stevens   Stoller   Storey   Stoyle   Striegnitz   Stuckey   Su   Subramaniam   Sui   Sulzmann   Suzuki   Swamy   Swierstra   Taha   Takeuchi   Ter   Terauchi   Thati   Thielecke   Thiemann   Thies   Tichy   Tiu   Tkachuk   Tolmach   Torrano   Totaro   Tourwe   Tov   Tretmans   Trisolini   Turner   Ulidowski   Ungar   Vaandrager   Varacca   Vasconcelos   Vaynberg   Verdejo   Verelst   Verhoef   Vianu   Visser   Vitek   Voigtländer   Vytiniotis   Wadler   Walker   Wang   Wansbrough   Warboys   Washburn   Weber   Weijland   Weirich   Welsh   Westfechtel   Whaley   Williams   Winckler   Winskel   Wolper   Wu   Wulf   Xiang   Xinxin   Xu   Xue   Yallop   Yang   Yi   Ying   Yokoyama   Yoshida   Yoshioka   Yu   Yuen   Zdancewic   Zelkowitz   Zenger   Zhang   Zhen   Ziaei   Zilio   Zilles   de Bruijn   de Neufville   de Queiroz   van Breugel   van Deursen   van Glabbeek   van Ham   van Kempen   van de Pol   van der Aalst   van der Hoek   van der Zwaag   von Behren