CiteULike keigoi's CiteULike Search Register Log in

keigoi's tags

All tags in keigoi's library
abstractinterpretation   alias   ambient   aspectoriented   binary   c   cache   categorytheory   causality   chr   codeduplication   cognitive   component   comprehension   concurrency   concurrency-monad   configurationmanagement   context   continuation   continuationserver   coq   csp   cyclone   databasereverse   dataflow   deadlock   debruijn   denotationalsemantics   dependency   dimensional_analysis   distributed   domainspecific   dsl   duce   embedded   embeddedlanguage   erlang   escapeanalysis   eventstructure   expressiveness   faulttolerance   flowtype   fullabstraction   functionalprogramming   fundeps   gadt   genericprogramming   gui   hardware   haskell   hdautomata   hoas   immutable   implementation   iospec   java   javascript   lineartype   location   logicprogramming   lowlevel   lts   maude   memory   metaprogramming   migration   modallogic   modelchecking   modeling   modulesystem   monad   multilanguage   network   no-tag   object_oriented_programming   operatingsystem   operationalsemantics   p2p   partialevaluation   picalculus   programanalysis   programlogic   programming   proofcarrying   refactoring   refinement   region   reliability   resourcebounds   resourceusage   reuse   reverse   rewritinglogic   ruby   safe-c   scala   scheme   session   slicing   softwaredesign   softwareengineering   softwareprocess   spreadsheet   stm   strictnessanalysis   stringanalysis   subtyping   survey   termrewriting   testing   tile   timedautomata   timedsystem   trs   type   typecast   typeclass   typedirected   typefunction   visualization   webapplication   web_verification   workflowmanagement  
Privacy Statement | Terms & Conditions
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.