tautologico's tags

abstraction   adt   algebra   aliasing   arrows   atomicity   c   category-theory   ccs   cml   coalgebra   coinduction   combinators   compilers   concurrency   concurrent   constraint-programming   continuations   coordination-languages   cyclone   data-structures   dependent-types   dotnet   dsl   dynamic-types   effects   erlang   existential-types   featherweight-java   floating-point   fold   formal-methods   fsharp   functional   garbage-collection   generational   graphs   grids   haskell   hindley-milner   intensional-types   intersection-types   java   join-calculus   jvm   lambda-calculus   language-implementation   languages   laziness   lazy   linda   linearity   linear-logic   linear-types   lock-free   logic   logic-programming   memory-management   ml   mobility   model-checking   modules   monads   multicore   multi-stage-programming   no-tag   object-calculus   ocaml   oop   p2p   parsing   partial-evaluation   pattern-matching   pcc   petri-nets   pi-calculus   process-algebras   programming   prolog   proof-theory   reactive   records   reference-counting   region-inference   regions   semantics   separation-logic   sml   smt   stm   substructural-logics   system-f   temporal-logic   topology   transactional   transactional-memory   type-classes   typed-assembly-language   type-inference   types   type-theory   value-restriction   views