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.
No references recorded for this publication.
No citations of this publication recorded.