Simon J. Gay. Cables, Trains and Types. In Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan, editors, From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Volume 12065 of Lecture Notes in Computer Science, pages 3-16, Springer, 2020. [doi]
Abstract is missing.