Leho's tags

actors calculi cecil concurrency contravariance control_structures covariance curry_howard data_abstraction delegation existential_polymorphism expression_problem extensibility final_algebras functional_programming generic_programming haskell initial_algebras lambda_calculi lazy_evaluation logic message_passing multimethods object-calculi object-orientation parallelism pattern_matching polymorphism prototypes self semantics subtyping type_checking type-classes type_inference type_systems universal_polymorphism

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.