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   dylan   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