spl's tags

abstraction adaptive ad-hoc-polymorphism agda algebra algorithms anamorphism arrays associated-types bibliography bifunctors boilerplate book call-by-name call-by-need call-by-value catamorphism categorical-logic category-theory classicjava clean collections combinators comparison compilers comprehensions 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 expression-problem extensibility extensible-records 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 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 ocaml oop 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 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 transactions 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.