Lightweight fusion by fixed point promotion.

Atsushi Ohori, Isao Sasano

Browse the full POPL paper archive.