Modules, abstraction, and parametric polymorphism
From MaRDI portal
Publication:5370849
DOI10.1145/3009837.3009892zbMath1380.68119OpenAlexW2560961062MaRDI QIDQ5370849
Publication date: 20 October 2017
Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3009837.3009892
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
This page was built for publication: Modules, abstraction, and parametric polymorphism