User Tools

Site Tools


twigs:possibletopics

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
twigs:possibletopics [2008/06/06 03:12]
jaeheon
twigs:possibletopics [2009/02/24 23:58] (current)
Line 1: Line 1:
 +  * What is the relationship between aspect-oriented programming and meta-object protocols? (Tom)
 +  * What is category theory?
 +  * <​del>​What is a monad?</​del>​ (Kenn)
 +  * What is fractional graph theory?
 +  * <​del>​What is a memory model?</​del>​ (Jaeheon)
   * Functional Pearl: A program to solve Sudoku ​   * Functional Pearl: A program to solve Sudoku ​
   * What is abduction?   * What is abduction?
Line 14: Line 19:
   * What is VFS? (Ian)   * What is VFS? (Ian)
   * What is a co-Buchi Game? (Ian)   * What is a co-Buchi Game? (Ian)
-  * What is a quasi-inverse?​ (Jordan)+  * <del>What is a quasi-inverse?​ (Jordan)</​del>​
   * What is Craig Interpolation?​ (Cormac)   * What is Craig Interpolation?​ (Cormac)
   * What is counter-example guided abstraction?​ (Cormac)   * What is counter-example guided abstraction?​ (Cormac)
twigs/possibletopics.1212721971.txt.gz · Last modified: 2009/02/24 23:53 (external edit)