BrentKnight + programming-language-semantics   26

related tags

abstract  algebra  algebraic  algebraic-programming-language  arrows  Benjamin_Pierce  blog  book  category-theory  Ceylon  compiler  compilers  computation  computer-club  computer-science  computers  concurrency  concurrent  contravariance  Coq  covariance  critique  CSP  Curry-Howard  dataflow  dataflow-analysis  deep  denotational-semantics  distributed  documentation  eBook  effect-system  ELF  enum  enumerated  enumeration  enumerators  evaluation-order  explicit-substitution  extensible  extensible-language  fancy  first-class  flow-sensitive  flow-sensitive-type-inference  formal-semantics  formalism  FP  FRP  Fudgets  functional  functional-programming  hand-written  Haskell  homoiconic  inspiration  intersection-types  javascript  journal-article  JVM  Kahn  Kahn-process-networks  Katahdin  lambda-calculus  lecture  linguistics  links  logic  MIT-Press  model  modeling  models  monad  monads  notes  official  Opal  operational-semantics  optimization  optimizer  overview  parallel  parallelism  pdf  philosophy  PHP  PL  PL-theory  plumbing  principal-types  program-analysis  programming  programming-language  programming-language-feature  programming-language-pragmatics  programming-language-semantics  programming-language-syntax  programming-language-theory  programming-languages  proof-assistant  proof-checking  proofs  purely-functional  python3  python3.5  quotation  rant  reactive  reactive-functional-programming  Red-Hat  RedHat  reference  reflection  reification  Science-of-Computer-Programming  semantics  side-effects  snippets  software  Springer  stars:5  survey  textbook  theorem-prover  theorem-proving  theory  to-grok  to-read  to-share  to-try  tutorial  Twelf  type  type-checking  type-inference  type-theory  types  typing  union-types  upenn  webdev  wikipedia 

Copy this bookmark:



description:


tags: