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 23:58 (external edit)