A Church-Style Intermediate Language for ML

Didier Rmy, Boris Yakobowski

Browse the full FLOPS paper archive.