David M. Kahn
According to our database1,
David M. Kahn
authored at least 8 papers
between 2017 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
2021
Proc. ACM Program. Lang., 2021
2020
Proc. ACM Program. Lang., 2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
2017
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017