bec's tags

cav05 concurrency csl01 data-structures fse05 haskell icfp03 icfp05 lics01 lics02 logic low-level object-oriented oopsla98 ownership pldi00 pldi01 pldi02 pldi04 pldi05 pldi91 popl01 popl02 popl03 popl04 popl05 popl06 popl88 popl93 popl94 popl96 popl98 popl99 program-analysis race-detection sat shape-analysis sorting systems-biology tacas06 testing theorem-proving types verification vmcai05

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.