A back-end for GHC based on categorical multi-combinators.

Ricardo Massa Ferreira Lima, Rafael Dueire Lins, Andr L. M. Santos

Browse the full SAC paper archive.