spl's tags

abstraction adaptive ad-hoc-polymorphism agda algebra algorithms anamorphism arrays associated-types beta bibliography bifunctors boilerplate book call-by-name call-by-need call-by-value catamorphism categorical-logic category-theory classicjava clean codata collections combinators comparison compilers comprehensions computational-design computational-thinking computer-science concurrency containers continuations control-flow-graph cpp cps crush curry-howard-isomorphism cyclic databases data-structures datatype-generic de-bruijn-index deforestation denotational-semantics dependent-types derivatives deriving design-patterns dictionaries difunctors distributed-computing domain-specific-languages dynamically-typed dynamic-scoping editors education emgm epigram existential-quantification expression-problem extensibility extensible-records feature-oriented-programming ffi finite-maps fixed-point fold formalization frameworks free-theorems free-variables functional-dependencies functional-programming function-spaces functors fusion gadts garbage-collection generic-haskell generics ghc global-variables gofer grammars graph-reduction halting-problem hardware-description haskell haskelldb higher-order-functions hol homomorphism hylomorphism idl imperative-programming implementation implicit-parameters impredicativity incremental inheritance input-output intermediate-language interpreters introduction isabelle isar java jni lambda-calculus lattice-theory lazy-evaluation libraries lightweight lisp list-comprehensions lists logic mapreduce martin-lof memoization metamodels metaprogramming miranda mixins ml model-driven-architecture model-driven-development model-driven-engineering models modula modularity monads monoids mutability mutual-recursion natural-numbers nested-datatypes non-strict-evaluation normalization numbers nuprl object-oriented-programming ocaml open operating-systems operational-semantics optimization packrat-parsing parallel-programming parametricity parametric-polymorphism paramorphism parsers pattern-matching performance phantom-types physics poetry polyp pragmatics predicate-dispatch printf program-calculation programming-environment programming-language program-transformation rank-2-polymorphism rank-n-polymorphism recursion reflection register-allocation rewriting sawzall scheme scripting semantics sequent-calculus set-theory sharing shell software-build software-engineering software-factories software-product-lines sql static-checking stl streams strict-evaluation strictly-positive strictness-analysis strings survey syntax-directed system-f system-t taxonomy template-haskell testing theorem-proving thesis topology total-functions transactional-memory transpose traversals tries type-checking type-classes type-indexed type-inference type-safety type-theory unboxed-values undecidability unfold unification universes unparsers value-recursion verification views von-neumann wobbly-types xml zip zipper

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.