msakai's library

   Abadi   Abbott   Abel   Abiteboul   Aboul-Hosn   Abramsky   Aczel   Adámek   Adachi   Adam   Adams   Adámek   Agerholm   Agrawal   Agusa   Ahmed   Ajtai   Akama   Alberto   Algebra   Alpuente   Altenkirch   Amadio   Anderson   Andova   Antimirov   Aoto   Appelbaum   Arnold   Asada   Asai   Audebaud   Awodey   Axelsson   Aït-Kaci   Bachmair   Backes   Backhouse   Bacon   Baelde   Baez   Bakewell   Ball   Bancilhon   Banger   Barendregt   Barendsen   Barker   Barr   Barringer   Barwise   Beatty   Bellantoni   Bengtsson   Benjamin   Benke   Bennett   Benton   Berardi   Berezin   Berger   Bergstra   Bernardy   Berndl   Bernstein   Bettini   Beyer   Beylin   Biere   Bird   Birkedal   Bjorner   Blackwell   Blass   Bloom   Blott   Blute   Boake   Bodik   Boinot   Bonwick   Boolos   Bothner   Bove   Brady   Brewer   Brookes   Brown   Broy   Brummayer   Bruynooghe   Brzozowski   Buchberger   Burkhard   Burn   Burnett   Burrows   Burstall   Buschmann   Buss   Campos   Canfora   Carbone   Cardelli   Carette   Carlsson   Carlström   Castillo   Cattani   Caves   Cerulo   Chakravarty   Chandra   Chaudron   Chen   Cheney   Cheng   Cheon   Chiba   Chirimar   Ciaffaglione   Claessen   Clark   Clarke   Cockett   Coecke   Consel   Cook   Coppo   Coquand   Costa   Cousineau   Cox   Crary   Cremet   Crolard   Crole   Crosby   Curien   Czaja   Daeche   Daniele   Danielsson   Danvy   David   De Luca   De Marchi   Dean   Department   Dezani-Ciancaglini   Di Gianantonio   Di Penta   Discolo   Dix   Dolstra   Dong   Drayton   Drepper   Duba   Duck   Duggan   Dybjer   Dybvig   D’antoni   Elgaard   Elliot   Elliott   Ennals   Erk   Erkök   Ernst   Ertl   Erwig   Evans   Falaschi   Faxén   Feferman   Felleisen   Fiadeiro   Finch   Fiore   Fitting   Flanagan   Fokkinga   Ford   Fourman   Freyd   Fridlender   Friedman   Fruhwirth   Fuhrer   Furuichi   Furukawa   Furusawa   Futatsugi   Gabbay   Gabel   Gambino   Ganzinger   Garcia-Puente   Garrigue   Gasbichler   Gastin   Gentry   Geva   Ghani   Giampaolo   Gibbons   Gill   Girard   Glynn   Godefroid   Goguen   Goldberg   Gordon   Grattage   Green   Gregg   Grogono   Guillemette   Gunter   Guzman   Hachimori   Hage   Hagihara   Hagino   Hagiya   Haiyan   Hallgren   Hamana   Handa   Hankin   Hanna   Hansen   Harper   Harris   Hasegawa   Hashimoto   Hasuo   Haveraaen   Hayashi   Hedberg   Heeren   Heljanko   Henzinger   Hermanns   Hermenegildo   Hieb   Hinze   Hiraishi   Hoffmann   Hofmann   Holdermans   Honda   Hoofman   Howe   Hritcu   Hu   Hudak   Huet   Hughes   Hunter   Hutton   Huwig   Hyland   Håkansson   Ida   Igarashi   Ignjatovic   Ikarashi   Imai   Immerman   Ina   Inaoka   Indrika   Ishii   Istrail   Iwasaki   Izumi   Jackson   Jacobs   Jaeger   Jane   Jansson   Jaskelioff   Jaume   Jay   Jebelean   Jeuring   Jha   Jhala   Johann   John   Johnstone   Jones   Jung   Kabanov   Kahn   Kahrs   Kakas   Kalman   Kambhampati   Kameyama   Kamide   Kamina   Kamp   Kataoka   Kato   Katoen   Katsumata   Kauffman   Kautz   Kawai   Kawakami   Kawano   Kayal   Keller   Kelly   Kfoury   Kieburtz   Kiezun   Kimura   Kinoshita   Kiselyov   Kitagawa   Kiyama   Klarlund   Klein   Klement   Ko   Kobayashi   Koike   Komendantsky   Kong   Kono   Kourie   Kovacs   Kovalevsky   Kowalski   Kozen   Krstic   Kubo   Kuramitsu   Kuroki   Kusakari   Laird   Lambek   Lane   Laplaza   Larsen   Larus   Lassez   Latvala   Launchbury   Lawvere   Leavens   Lee   Lehoczky   Leijen   Leivant   Lenstra   Leontiev   Leroy   Lescanne   Leshchinskiy   Letouzey   Levitt   Lezama   Li   Lincoln   Lindblad   Liu   Ljungl   Lob   Lomonaco   Longley   Lucanu   Luo   Lämmel   Löh   Lüth   Møller   Ma   Mabuchi   Macqueen   Maffei   Maguolo   Maier   Mainland   Majumdar   Malcolm   Marlet   Marlow   Marrero   Martin   Martin-Löf   Masuhara   Mathijssen   Matsuda   Matsumoto   Matsuzaki   Matthes   Matthews   McBride   McKinna   McMillan   Mcbride   Mccracken   Mccusker   Mcgrath   Mckinley   Mckinna   Meertens   Meijer   Melham   Menzel   Meseguer   Meyer   Meyer-Kayser   Middelkoop   Milicevic   Milius   Miller   Millstein   Milner   Minamide   Mitchell   Mittag   Moggi   Molnar   Monnier   Montague   Montanari   Moreau   Morihata   Mu   Mukai   Mulry   Mulvey   Møgelberg   Nagashima   Nakaima   Nakajima   Nakamura   Nakano   Nakata   Nantajeewarawat   Nasieniewski   Nau   Naylor   Near   Nerode   Nguyen   Nielsen   Nielson   Nilsson   Nipkow   Nishida   Nishizawa   Nordlander   Norell   Nowak   O'Callahan   O'Hearn   Oddoux   Odersky   Ogata   Ogawa   Ohori   Ohsaki   Okada   Okasaki   Okuma   Ono   Onoue   Osvik   Otake   Owe   Oyamaguchi   Ozaki   O’donnell   Padawitz   Paige   Palm   Pang   Parker   Parr   Paré   Paterson   Paulin   Paulin-Mohring   Paulson   Pavlovic   Petersen   Pettersson   Peyton-Jones   Pfenning   Pierce   Pierre   Pietruszczak   Piskac   Pistore   Pitts   Plasmeijer   Plotkin   Poigné   Popkorn   Power   Preller   Priesnitz   Puri   Queinnec   Quong   Rémy   Rabinovich   Raimi   Rajamani   Rajan   Rajkumar   Ramasubramanian   Ranta   Raoult   Ray   Rayside   Remy   Reps   Restall   Reus   Reynolds   Ricardo   Riecke   Riehle   Robert   Robin   Robinson   Rodriguez   Rosolini   Roundy   Rozenberg   Roşu   Runciman   Russinoff   Rutten   Rémy   Röckl   Sabry   Sagiv   Saito   Sakabe   Sakai   Sakaue   Sakkinen   Sakurai   Salomaa   Sands   Sano   Sansom   Saraswat   Sasada   Sasano   Sassa   Sato   Saxena   Scedrov   Schanuel   Schmidhuber   Schmidt   Schrijvers   Schulz   Schupke   Schupp   Schwichtenberg   Scott   Searles   Seefried   Seely   Sekigawa   Sekiguchi   Seligman   Selinger   Selman   Seshia   Sestoft   Sevick   Sha   Shan   Shanahan   Shaw   Sheard   Shi   Shigeta   Shimada   Shimazu   Shivers   Siegle   Siek   Silva   Simon   Simpson   Singh   Sirer   Skillicorn   Smetsers   Smyth   Sotirov   Soto-Andrade   Sozeau   Spencer   Sperber   Spoon   Stark   Starke   Stehr   Stenger   Stevens   Stewart   Stouppa   Streicher   Stuckey   Suenaga   Sulzmann   Sumii   Sun   Sutcliffe   Suto   Sutre   Swierstra   Szafron   Sörensson   Søndergaard   Tabuchi   Taha   Tait   Taitslin   Takahashi   Takai   Takano   Takayama   Takeichi   Takeuchi   Takeuti   Takeyama   Takimoto   Tamai   Tanabe   Tanaka   Tancau   Tarjan   Tarlecki   Tateishi   Taylor   Terauchi   Terui   Thatcher   Thielecke   Thiemann   Thomas   Thomason   Tip   Tiuryn   Tomabechi   Torlak   Toyama   Tsuchiya   Tsukada   Tucker   Turbak   Turi   Uchihira   Ueno   Uh   Ullman   Umatani   Urban   Using   Uustalu   Valentini   Van Gelder   Van den Bussche   Vaneková   Varela   Vasconcelos   Veldman   Velebil   Vene   Venners   Vickers   Vidal   Visser   Vitale   Vogels   Voigtländer   Wadler   Wagner   Wallach   Wang   Washburn   Watanabe   Wehr   Weirich   Wells   Werner   Whalley   Wheeler   Whitworth   Wickline   Wiedermann   Wiedijk   Winskel   Wright   Wrobel   Wulf   Xi   Xu   Yablo   Yamada   Yamagata   Yamaguchi   Yamamoto   Yamaoka   Yamasakiw   Yang   Yasuda   Yasugi   Yasuoka   Yatabe   Yi   Yogi   Yokoyama   Yonezaki   Yorsh   Yoshida   Yoshikawa   Yoshimoto   Yoshizoe   Yuasa   Yuen   Yura   Yuse   Zaleski   Zalewski   Zdancewic   Zenger   Zhu   Zucca   özsu   de Moura   de Paiva   de Weger   van Eekelen   van Emde   van Kempen   van Oostrom   van Schie   van Weelden   van de Looij   Černý   Švejdar   ナガシマ   上田   井上   今橋   佐々   佐藤   出口   千葉   吉田   和手   堀江   堀泰   増原   増子   増子萌   大堀   小川   小熊   山本   岩崎英哉   岩沼   岩澤   岩田   川上   当山   振江   木村   木谷   根岸純一   森畑   橋本   武山   武市   永島   浅井   片山   當仲   石原   綾野   緒方   義次   蒲野   藤原   角谷   達軌   鍋島   間太