Call-By-Push-Value: Una síntesis funcional / imperativa- Paul Blain Levy

Call-by-push-value es un paradigma de lenguaje de programación que, sorprendentemente, rompe los paradigmas call-by-value y call-by-name en primitivas simples. Esta monografía, escrita para estudiantes de postgrado e investigadores, expone la estructura llamada por valor de empuje subyacente a una notable variedad de semántica, incluyendo semántica operativa, dominios, mundos posibles, continuaciones y juegos.