robertjohnsimmons's tags

abstract-containers   abstract-interpretation   abstraction   aci   acl2   agda   alfp   algebra   algebraic-logic   algol   archproject   associativity   authorization-logic   backtrack   backward-chaining   bidirectional-type-systems   binary-decision-diagram   bisimulation   boolean-algebras   box-proofs   bunched-logic   calculus-of-constructions   canonical-forms   case-analysis   categorial-logic   categorical-logic   category-theory   church-rosser   cirquent-calculus   citeulike   classic-papers-fall09   classical-linear-logic   classical-logic   clf   coinduction   committed-choice   comp-ling   compilers   completeness   complexity   complexity-chart   computability-logic   concurrency   concurrent-constraint-programming   confluence   congruence-closure   conservative-extension   constraint-logic-programming   contexts   continuations   control-flow   cooperative-learning   coq   core-calculi   cost-semantics   coverage-checking   curry-howard   cut-elimination   data-abstraction   datatypes   de-bruijn-index   decision-procedures   deduction   definability-theory   definitional-reflection   defunctionalization   denotational-semantics   dependency-parsing   dependent-types   derivative   design   display-logic   distributed-consensus   distributed-programming   dram   dyna   dynamic-logic   equality   equivalence   evaluation-contexts   evaluation-order   explicit-substitutions   extensionality   factored-models   fault-tolerance   flattening   flow-analysis   focusing   fold   fold-unfold   forcing   formalize-this   forward-chaining   free-variables   full-abstraction   functional-pearl   functional-programming   futures   galois-connections   graph-algorithms   graphs   greediness   hash-consing   haskell   heyting-algebras   higher-order-abstract-syntax   higher-order-logic-programming   hoare-logic   horn-clauses   hybrid-logic   hybrid-systems   implementation   incremental-compilation   incremental-evaluation   induction   inference   interpreters   intersection-types   ironies   isabelle   iterators   java   judgmental-reconstruction   kriple-models   lambda-calculus   language-design   lax-logic   lazy-computation   linda   linear-logic   linear-terms   linguistics   lisp   locally-nameless   logic   logic-programming   logical-framework   logical-frameworks   logical-relations   lollimon   ludics   matching   matching-modulo   metatheory   mismatch   modal-logic   modularity   monads   multi-focusing   natural-deduction   natural-language   natural-logic   negation   nilpotence   nlp   no-tag   non-commutative-logic   nonclausal-resolution   normalization   object-oriented-programming   observational-proofs   omega-rules   operational-semantics   optimization   ordered-logic   parallelism   parsing   partial-evaluation   pattern-matching   pcf   pedagogy   phase-change-memory   polarization   polymorphism   possible-concertrg-paper   power-management   probabilistic-programming   process-calculi   program-analysis   program-extraction   program-transformation   proof-assistants   proof-nets   proof-theory   pure-type-systems   queue-logic   recursion   refinement-types   regular-worlds   resolution   rewriting-logic   rg-2009   saturation   secd-machine   security   self-adjusting-computation   semantics   semi-naive-evaluation   semigroups   semiring   separate-compilation   separation-logic   sequent-calculus   set-theory   skolemization   spatial-logic   spine-form   stack-integrity   standard-ml   static-analysis   storage   stratification   stress   structural-induction   structural-operational-semantics   substructural-logic   substructural-operational-semantics   survey   tabled-logic-programming   teaching-logic   temporal-logic   term-observation   termination   theorem-proving   to-appear   transactions   translating-ordered-logic   tuple-programming   twelf   type-inference   type-logical-grammar   typed-assembly-language   types   unification   unification-algorithms   uniform-proofs   union-types   verification   weanreview   weighted-logic-programming   work-stealing   yi   zipper