### POPL 2008 and affiliated events

This week is POPL and affiliated events. I'll be at the first and third days of VMCAI, the Coq tutorial, and POPL itself. Unfortunately, I'll have to miss PEPM.

skip to main |
skip to sidebar
## Sunday, January 6, 2008

###
POPL 2008 and affiliated events

This week is POPL and affiliated events. I'll be at the first and third days of VMCAI, the Coq tutorial, and POPL itself. Unfortunately, I'll have to miss PEPM.

## About Me

## Archive

## Labels

A blog about typed programming

Posted by Jim Apple at 1/06/2008 05:36:00 PM

Labels: conferences

Subscribe to:
Post Comments (Atom)

- GADTs (7)
- constructive logic (6)
- ordinals (6)
- Haskell (5)
- Leibniz equality (3)
- Simulating Dependent Types with Guarded Algebraic Datatypes (3)
- countability (3)
- C++ (2)
- Coq (2)
- GHC (2)
- Heyting algebra (2)
- V=L (2)
- _|_ (2)
- dependent types (2)
- effect inference (2)
- effects (2)
- lightweight static capabilities (2)
- nested types (2)
- quotient types (2)
- referential transparency (2)
- zero-knowledge proof (2)
- CPOs (1)
- Dependent ML (1)
- Fomega (1)
- Liskov substitutability (1)
- ML (1)
- OOP (1)
- bugs (1)
- cardinal numbers (1)
- conferences (1)
- continuity (1)
- copious free time (1)
- definability (1)
- flow caml (1)
- fuzzy logic (1)
- grammar checking (1)
- impredicativity (1)
- information flow (1)
- kinds (1)
- laypeople (1)
- morphisms (1)
- parallel or (1)
- polymorphism (1)
- refinement types (1)
- sized lists (1)
- static analysis (1)
- termination (1)
- type disequality (1)

## No comments:

Post a Comment