Sorry. Can't find that.
We've moved things around a lot recently. Here are some places to try:
- The home page for:
- "Once, Weakly" articles
- Code, like flist, Expanding Monostate and Checked Bridge patterns, Gödel numbering of C++ type system, typelist meta-algorithms, etc.
- List of publications, talks, etc.
- Something related to my books: