CiteULike mattmight's CiteULike Search Register Log in

mattmight's library

All authors in mattmight's library
Abraham   Adve   Agesen   An efficient recognition and syntax-analysis algorithm for context-free languages   Andersen   Anderson   Andronick   Appel   Balakrishnan   Ball   Bauer   Behar   Bertot   Birkedal   Blanchet   Bodik   Bohr   Bouajjani   Boyer   Bravenboer   Bruggeman   Brzozowski   Cartwright   Cejtin   Chambers   Chang   Chase   Cheney   Cherem   Chilimbi   Chomsky   Christodorescu   Church   Clarke   Clinger   Cock   Cocke   Comon   Condit   Cook   Cooprider   Cousot   Damas   Dauchet   DeRemer   Dean   Debray   Defouw   Derrin   Diatchki   Dijkstra   Dimoulas   Dolby   Douglass   Duba   Dybvig   Earley   Editors   Eide   Elkaduwe   Elphinstone   Engelhardt   Esparza   Fagan   Fahndrich   Feeley   Felleisen   Feret   Fischer   Flanagan   Floyd   Fluet   Ford   Friedman   Fähndrich   Gilleron   Gordon   Govereau   Grossman   Grove   Gulwani   Hall   Hallgren   Hammond   Hannan   Harper   Harren   Harrison   Heintze   Heiser   Henglein   Hicks   Hieb   Hoare   Holzmann   Horwitz   Hudak   Igarashi   Jacquemard   Jagannathan   Jensen   Jha   Jim   Jones   Kam   Kelsey   Kernighan   Kidd   Kildall   King   Klein   Knuth   Kobayashi   Kohlbecker   Kolanski   Kozen   Kurlander   Lattner   Lawson   Leslie   Levenshtein   Lucky   Lugiez   Löding   Macqueen   Mairson   Majumdar   Maler   Maluszynski   Manolios   Martin-Löf   Massalin   Mauborgne   McBride   Mcallester   Mcmillan   Mcpeak   Mehra   Melski   Midtgaard   Might   Millstein   Milner   Miné   Monniaux   Moore   Morrisett   Moss   Nanevski   Necula   Nielson   Norrish   Odersky   Owens   Palsberg   Partain   Peyton-Jones   Pfenning   Pierce   Podelski   Prabhu   Pratt   Preda   Rajamani   Rees   Regehr   Rehof   Reppy   Reps   Rinard   Ritchie   Rival   Rugina   Runciman   Rustan   Rybalchenko   Sabry   Sagiv   Salcianu   Schmidt   Schwartz   Schwoon   Seacord   Sestoft   Sewell   Shannon   Shinnar   Shivers   Siek   Smaragdakis   Spoon   Sridharan   Steckler   Steele   Steensgaard   Taha   Thiemann   Tison   Tiwari   Tofte   Tolmach   Tomita   Tommasi   Tuch   Turon   Ullman   Van Horn   Vaziri   Venners   Wadler   Walton   Wand   Wang   Warth   Weeks   Wegman   Weimer   Wilhelm   Winwood   Wirsing   Wirth   Wright   Xi   Xia   Yang   Yong   Younger   Zadeck   Mccloskey  
Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.