Computing


Paris, Chennai, Boston

We present some recent work on homotopy type theory, while cubical type theory work is in preparation. Earlier work investigates compiler technology; middle-end loop optimizations in particular.