greenrd's tags

amusing aop aosd applicative-functors arrows associated-types build-systems bytecode caching category-theory certified-verifiers choice classical codata coercions comonads conary concurrency contexts contracts coq corecursion decorators delegation dependent-types design-patterns distributed dsl dynamic-dispatch dynamic-languages eager epigram equivalence esc extensionality fault-tolerance first-order-logic fixpoint formal-methods functional functional-state gadts generic-programming goto haskell hci higher-order-logic hoas hol hybrid-type-checking ides immutability implicit-context incremental-computation inheritance intensional isabelle java jmm jvm language-design lazy locking logic make memory-models metaprogramming mobility models-as-programs modules monadic-translators monads multimethods object-databases object-identity ontology oop operating-systems optimization packaging parsing partial-functions pedagogy performance pervycom polymorphism predicate-dispatch proofs provers pseudocode pvs reclassification records recursion revision-control roles security semantics simulating-language-features specification-languages stm string-matching subtyping termination transactions trusted-kernels type-classes type-inference type-isomorphisms types typesetting type-theory wash web

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.