About
∃xistential Type is a blog for people who like type and types. That is "type" in the sense of typefaces and typography, and "types" as in programming languages, and logic and type theory. It is written by Geoffrey Washburn, who is a post-doctoral researcher at the Ecole Polytechnique Fédérale de Lausanne in the Programming Methods Laboratory. Geoff lives in Lausanne, Switzerland along with his Siamese cat, Ada.