AndreasSchropp's tags

algebra algorithms backtracking calculus category-theory ccs comprehensions concurrency configuration continuations control-delimiters csp data-structures decomposition-problem denotational-semantics design-patterns existential-types expression-problem faking-dependent-types first-class-events framework-integration functional-dependencies functional-programming fundeps generic-programming graph-transformations haskell higher-rank-polymorphism hoare implicit-parameters jones logic logic-programming modules monad monads monad-transformers multiple-dispatch objects oop overloading parallel pi pi-calculus polymorphism polymorphism-recursion process process-algebra queries reactive records resumptions roscoe software-extension software-integration stm streams subtyping synchronous-message-passing theorem-proving threads transactions typeclasses type-classes type-inference types type-theory typing verification

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.