Programming Languages and Systems
Programming Languages and Systems
Matthias Felleisen,P. Gardner
2013 · DOI: 10.1007/978-3-642-37036-6
Lecture Notes in Computer Science · 3 Citations
TLDR
Constraining Delimited Control with Contracts, Behavioral Polymorphism and Parametricity in Session-Based Communication, and Taming Concurrency Structural Lock Correlation with Ownership Types.