A Perspective on the Dependency Core Calculus

Maximilian Algehed. A Perspective on the Dependency Core Calculus. In Mário S. Alvim, Stéphanie Delaune, editors, Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018. pages 24-28, ACM, 2018. [doi]

Abstract

Abstract is missing.