Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development
Resource type: Ressourcentyp: Buch (Online)Book (Online)Series: ACM Conferences | ACM Digital LibraryPublisher: [Erscheinungsort nicht ermittelbar] : Association for Computing Machinery, 2024Description: 73 pISBN:- 9798400711039
- TyDe 2024
No physical items for this record