Andreas Abel, Christian Sattler. Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. In Ekaterina Komendantskaya, editor, Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. ACM, 2019. [doi]
Abstract is missing.