Thomas Dinsdale-Young
According to our database1,
Thomas Dinsdale-Young
authored at least 15 papers
between 2010 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
0
1
2
3
4
1
1
1
1
1
1
1
1
1
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proc. ACM Program. Lang., 2021
2020
Proceedings of the Security and Cryptography for Networks - 12th International Conference, 2020
2018
J. Log. Algebraic Methods Program., 2018
2017
Proceedings of the Programming Languages and Systems, 2017
2016
Proceedings of the Programming Languages and Systems, 2016
2015
Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015
2014
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014
2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2010
Proceedings of the Verified Software: Theories, 2010