Регистрация | Вход в службу | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: Lambda the Ultimate - Authors

All authors in this group's library
   -W   Abadi   Abel   Aiken   Anderson   Artemov   Avigad   Aydemir   Backhouse   Baer   Bansal   Barendregt   Benaissa   Berger   Berlucci   Berndl   Bershad   Birrell   Bohr   Brown   Broy   Budiu   Byrd   Cardelli   Carvalho   Casey   Cernuda   Chakravarty   Charguéraud   Chen   Cheney   Chlipala   Clarke   Cook   Cousot   Culpepper   Curien   Czarnecki   Devanbu   Diatchki   Diez   Donnelly   Drossopoulou   Dybjer   Dybvig   Ertl   Erwig   Felleisen   Feng   Fetterly   Findler   Fokkinga   Ford   Friedman   Gagnon   Gayo   Ghani   Giannini   Gibbons   Gregg   Grieskamp   Grover   Guerrero   Hammond   Hansen   Haynes   Hendren   Hertz   Hill   Hinze   Hofmann   Hudak   Huet   Hughes   Hutton   Iemhoff   Isard   Japan   Jay   Jayadev   Jeuring   Johann   Jones   Kameyama   Kieffer   Kiselyov   Kitzelmann   Kollmansberger   Lämmel   L&\#252;th   Lee   Leijen   Leslie   Levy   Lincoln   Longley   Lovelle   Löh   Maietti   Mairson   Maneggia   Margetson   Martin-Lof   Mcbride   Mckinna   Meijer   Miller   Misra   Moggi   Myers   Neuhold   Neverov   Noll   Nystrom   O'Donnel   Odersky   Owens   Paterson   Pattabiraman   Paul   Peyton-Jones   Pfeffer   Pierce   Piponi   Pitts   Pizzi   Pollack   Poulin   Qi   Ramsey   Rao   Ritter   Rohatgi   Romer   Rosenbaum   Roy   Runne   Sabry   Sarkar   Schmid   Schulte   Shan   Sheard   Sheeran   Shi   Shields   Sobel   Steele   Stoodley   Streicher   Striegnitz   Sulzmann   Sussman   Swadi   Syme   Taha   Thiemann   Tillmann   Tobin-Hochstadt   Trinder   Tucker   Turner   Van Horn   Vitale   Voelker   Waddell   Wadler   Wand   Weirich   Werner   Widera   William   Wisdom   Wolman   Wong   Wright   Xi   Yu   Zaleski   Zorn   de Paiva   ~broy  
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.