Jung, Ralf Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
Dreyer, Derek Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
Jung, R., Krebbers, R., Birkedal, L., & Dreyer, D. (2016). Higher-order Ghost State. In J. Garrigue, G. Keller, & E. Sumii (Eds.), ICFP'16 (pp. 256-269). New York, NY: ACM. doi:10.1145/2951913.2951943.