User Tools

Site Tools


twigs:possibletopics

Differences

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

Link to this comparison view

twigs:possibletopics [2008/06/06 02:55]
jaeheon created
twigs:possibletopics [2009/02/24 23:58]
Line 1: Line 1:
-  * 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) +
-  * <​del>​What is satisfiability modulo theories (Jaeheon)</​del>​ +
-  * <​del>​What is defunctionalization?​ (Kenn)</​del>​ +
-  * 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?​ +
-  * What is a drama manager?+
twigs/possibletopics.txt · Last modified: 2009/02/24 23:58 (external edit)