robertjohnsimmons's library

Aarne Rant   Abadi   Abbott   Abel   Acar   Adams   Ajdukiewicz   Aldrich   Allwein   Altenkirch   Anderson   Andreoli   Appel   Apt   Armelín   Arni   August   Avigad   Avots   Aydemir   Bachmair   Banbara   Barker   Basukoski   Bauer   Bean   Beck   Beckman   Belnap   Benton   Benzmueller   Benzmüller   Bernardy   Bernstein   Berregeb   Bidoit   Bierhoff   Bierman   Blackburn   Blatz   Blelloch   Blute   Bodei   Boehm   Bohannon   Bohr   Bolotov   Boneh   Bouhoula   Bowers   Boyer   Bozzano   Brauner   Bravenboer   Brotherston   Brown   Bruggeman   Bruscoli   Buchholtz   Buszkowski   Caires   Calcagno   Carbin   Cardelli   Carlisle   Castagnetti   Cervesato   Chan   Chang   Chaudhuri   Chizhik   Chlipala   Chomicki   Church   Clark   Cockett   Cohen   Cong   Conor Mcbrid   Cook   Cousot   Crary   Curien   Danvy   Davies   De Paiva   DeYoung   Degano   Delzanno   Depaiva   Despeyroux   Dias   Dijkstra   Dixon   Dockins   Donnelly   Dowek   Doyle   Dunfield   Dunn   Dybvig   Dyckhoff   Eastlund   Ehrenfeucht   Eisner   Emms   Erik Meije   Fages   Fairbairn   Fairtlough   Felleisen   Felty   Fermüller   Filliâtre   Fiore   Flanagan   Fleuriot   Fluet   Foster   Fox   Freitag   Ganzinger   Garg   Gelernter   Gentzen   Getoor   Ghani   Gibbons   Girard   Godefroid   Goguen   Goh   Goldlust   Goodman   Gotsman   Graham Hutto   Greco   Greiner   Grigoriev   Guglielmi   Gulavani   Guo   Gupta   Harden   Harper   Harrison   Hendren   Hennicker   Henzinger   Hieb   Hills   Hindley   Hirai   Hoare   Hobor   Hodas   Horn   Howe   Huet   Hunt   Hustadt   Hutton   Imieliński   Inoue   Iwaihara   Jäger   Jacobs   Jagadeesan   Japaridze   Jensen   Jones   Kannan   Kapur   Kinoshita   Kirchner   Kiselyov   Klein   Klíma   Kodali   Kohei Hond   Kowalski   Krishnamoorthy   Krishnaswami   Kurtonina   Kyoung-Sun   Lafont   Lam   Lambek   Lamport   Landin   Larsen   Le Huitouze   Lea   Leiss   Leitsch   Lerner   Leroy   Licata   Ligatti   Lincoln   Liu   Livshits   Louvet   Lovas   Lvy   López   Ma   Maccartney   Mackey   Mairson   Makarov   Manna   Manning   Marek   Martelli   Martin   Martin Berge   Martin-Löf   Martioliet   McAllester   McBride   McElroy   McKinna   Mcallester   Mcbride   Mccarthy   Mcdowell   Mckinna   Melliès   Memik   Meseguer   Midtgaard   Miller   Millikin   Milner   Mitchell   Modadugu   Momigliano   Moortgat   Moot   Morrill   Mousavi   Murphy VII   Murray   Nadathur   Nanevski   Nardelli   Narendran   Nielson   Nobuko Yoshid   Norell   Nori   O'Hearn   Ohara   Ong   Orgun   Oury   Ousterhout   Owens   Page   Pareschi   Park   Parkinson   Paul Rue   Pereira   Perry   Peskine   Peter Acze   Petersen   Pettorossi   Pfaff   Pfeffer   Pfenning   Piazza   Pientka   Pierce   Pilegaard   Pitts   Platzer   Plotkin   Podelski   Polakow   Poswolsky   Pous   Power   Price   Pym   Qureshi   Rajamani   Ramakrishnan   Ramsey   Reed   Reis   Reiter   Reniers   Reppy   Restall   Retoré   Reynolds   Richards   Ridge   Ridoux   Rivers   Rogers   Rosenblum   Ross   Rosser   Rosu   Rothamel   Rouveirol   Roşu   Ruet   Rummel   Rusinowitch   Rutten   Rybalchenko   Rydhof Hansen   Saccà   Saha   Salvati   Sangiorgi   Saraswat   Sarkar   Sarnat   Saurin   Scedrov   Schack-Nielsen   Schlipf   Schroeder-Heister   Schuermann   Schulte   Schürmann   Scott   Seely   Seidl   Sewell   Shacham   Shan   Shangin   Shankar   Shin   Shivers   Siekmann   Simmons   Simpson   Singh   Sittampalam   Skalka   Smaragdakis   Smith   Sooriamurthi   Spada   Spoonhower   Srba   Srebrny   Srinivasan   Srivastava   Stärk   Statman   Steedman   Stepp   Stirling   Stoller   Strachey   Stratulat   Strniša   Stuckey   Subramani   Sudarshan   Sun   Swasey   Swierstra   Tammet   Tamura   Taskar   Tate   Tatlock   Taylor   Tennent   Ter   Tetali   Tiu   Tiwari   Tom Murphy   Torrie   Tsur   Tufte   Turi   Turner   Unkel   Van Benthem   Van Emden   Van Gelder   Van Horn   Vanderwaart   Vardi   Vielle   Vigneron   Volpe   Vouillon   Vytiniotis   Walker   Wang   Washburn   Watkins   Wegner   Weirich   Wen   Werner   Whaley   Wild   Wintner   Wolfram   Woo   Zaniolo   Zdancewic   Zeilberger   Zhang   Zukowski   de Moor   de Rijke   van Benthem   Şerbănuţă