James Chapman
Orcid: 0000-0001-9036-8252Affiliations:
- Institute of Cybernetics, Tallinn, Estonia
- IOHK, Hong Kong
- University of Strathclyde, UK
According to our database1,
James Chapman
authored at least 26 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
1
1
1
1
2
1
3
1
1
4
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
-
on iohk.io
-
on jmchapman.io
-
on cs.ioc.ee
On csauthors.net:
Bibliography
2024
Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture, 2024
Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024
Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024
2023
Proceedings of the Proceedings 16th Interaction and Concurrency Experience, 2023
2022
Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study.
Comput., 2022
Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022
2020
Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the Financial Cryptography and Data Security, 2020
2019
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019
2018
Proc. ACM Program. Lang., 2018
2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017
2015
2014
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types.
Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014
2010
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010
2009
2008
Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, 2008
2006
Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006
2005
Epigram reloaded: a standalone typechecker for ETT.
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005