User Tools

Site Tools


twigs:possibletopics
  • What is the relationship between aspect-oriented programming and meta-object protocols? (Tom)
  • What is category theory?
  • What is a monad? (Kenn)
  • What is fractional graph theory?
  • What is a memory model? (Jaeheon)
  • Functional Pearl: A program to solve Sudoku
  • What is abduction?
  • What is the pi-calculus? CCS? CSP?
  • What is a shallow/deep embedding?
  • What is the PFAIR scheduling algorithm?
  • What is a Petri Net?
  • What is a Chu Space?
  • What is the Synthesis Kernel?
  • What is Abstract Interpretation?
  • What is Separation Logic?
  • What is Queueing Theory?
  • What is a Generating Function? (Jaeheon)
  • What is a Polymorphic Variant? (Ian)
  • What is VFS? (Ian)
  • What is a co-Buchi Game? (Ian)
  • What is a quasi-inverse? (Jordan)
  • What is Craig Interpolation? (Cormac)
  • What is counter-example guided abstraction? (Cormac)
  • What is continuation-passing/trampolined style (Jordan)
  • What is the Curry-Howard correspondence (Kenn)
  • What is Hindley-Milner type inference? (Kenn)
  • What is satisfiability modulo theories (Jaeheon)
  • What is defunctionalization? (Kenn)
  • What is a logical relation?
  • What is contextual equivalence?
  • What are dependent types
  • What is parametricity?
  • What is linear logic?
  • What is k-CFA?
  • What is monadicity?
  • What is synthetic topology?
  • What is algorithmic music composition?
  • What is human cognition? (Sherol)
  • What is a drama manager?
twigs/possibletopics.txt · Last modified: 2009/02/24 15:58 (external edit)