dherman's tags

abstract-interpretation abstraction abstract-machine abstract-syntax adt algorithms aliasing amber aop applicative-functors asf attribute-grammars backtracking backward-chaining bigwig browser-security call-by-need certified-analysis cfa chart-parsing clean comonads compiler components concurrency concurrent-algorithms constraint-programming constraints containers contexts contification continuation-marks continuations contracts control control-operators cps curry-howard currying dalek dataflow dataflow-analysis datalog data-structures debugger debugging decompilation defunctionalization denotational-semantics dependent-cfa dependent-types destructive-update distributed-systems domain-theory dsl dynamic-scoping dynamic-typing earley effects elkhound equilogical-spaces erlang error-correcting esterel eval events examples exception-analysis exceptions existential-types expansion-passing-style expression-problem expressive-power extensibility extensible-records extensible-syntax fibrations final-algebras formal-languages fp fresh frp functional-dependencies futamura-projection games generics geometric-constraints girard-reynolds glr-parsing goto-elimination gradual-typing grammar-ambiguity gui-programming haskell higher-rank-polymorphism hoas honu hopl human-factors hybrid-typing hygiene incremental-parsing inheritance initial-algebras instrumentation intersection-types io island-grammars java javascript jiazzi jit krivine lalr-parsing lambda-calculus lambda-cube lambda-the-ultimate lattices laziness lc-parsing least-common-ancestor lexical-scope linearity linear-types lisp list-extensible-languages little-languages ll-parsing logic logical-relations logic-programming lr-parsing lustre macros mercury message-passing metaborg metafront meta-programming micros mixins ml modal-logic modular-analysis modules monads monad-transformers morphisms multi-language negation-types observable-sequentiality oo oop packrat-parsing parametricity parsing partial-evaluation pattern-matching peephole-optimization per pi-calculus p-logic plt pl-theory pointer-analysis polymorphic-variants polymorphism pretty-printing principal-types probability process-calculi python quantum-programming quasiquotation quest realizability real-time records recursion-effect recursive-modules recursive-types reduction-semantics referential-transparency return rmglr-parsing rnglr-parsing safe-for-space scannerless-parsing scheme scheme-report scripting scsh sdf secd security security-flow-analysis semantic-subtyping separate-compilation sized-types spreadsheet spreadsheets ssa staged-programming stepper strategies stratego streams strictness-analysis strong-normalization structural-operational-semantics structural-types subtractive-types subtyping tail-recursion tainting targeting-c tdd template-haskell templates temporal-logic term-rewriting theorem-provers threads trampoline trinity two-level-types tying-the-knot type-classes type-differentiation typed-scheme type-dynamic type-errors type-inference types type-theory ui unification union-types uniqueness-types uniquess-types units value-recursion views vm world-passing 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.