MIL, a Monadic Intermediate Language for Implementing Functional Languages. - Mark P. Jones; Justin Bailey; Theodore R. Cooper (IFL, 2018)