Advanced Topics in Types and Programming Languages
Publisher: MIT Press
Published: 2024
Language: eng
ISBN-13: 9780262552677