Videos of 40 presentations from ICFP 2009 (Edinburgh) are available through Malcolm Wallace’s Vimeo account.
Categories
- Administration
- Alpha-conversion
- alphaKanren
- alphaML
- alphaProlog
- Automata
- Beluga
- Calculus of nominal inductive constructions
- Cambridge HOL
- Categorical models
- CINNI
- Coq
- Datatypes a la carte
- de Bruijn indices
- Delphin/Elphin
- Dependent types
- Domain theory
- Explicit substitutions
- Focusing
- FoolProof
- Foundations
- FreshML
- General interest
- Higher-order narrowing
- Higher-order patterns
- Higher-order unification
- HOAS
- HOPLA
- Hybrid
- ICFP
- Initial algebras
- Interaction nets
- Isabelle
- λProlog
- Labeled transitions
- Lambda-calculus
- Languages and libraries
- Locally named
- Locally nameless
- Logics
- Name management
- Nested datatypes
- Nominal algebra
- Nominal Isabelle
- Nominal logic
- Nominal techniques
- Nominal unification
- Nu-calculus
- Ott
- Parametricity
- Permutation algebras
- Pi-calculus
- Presheaves
- Pronominal
- Substructural logics
- Term rewriting
- Theorem proving
- Theory of contexts
- Twelf
- Uncategorized
- Unification
Posts
| M | T | W | T | F | S | S |
|---|---|---|---|---|---|---|
| « Oct | ||||||
| 1 | 2 | 3 | 4 | 5 | 6 | |
| 7 | 8 | 9 | 10 | 11 | 12 | 13 |
| 14 | 15 | 16 | 17 | 18 | 19 | 20 |
| 21 | 22 | 23 | 24 | 25 | 26 | 27 |
| 28 | 29 | 30 | 31 | |||
