Publication

Type-preserving compilation of (most of) FGJ into DOT