Evolving Fortran types with inferred units-of-measure
2015 · Journal of Computational Science · 7 citations
https://doi.org/10.1016/j.jocs.2015.04.018
D
Dominic Orchard
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
85
Papers
734
Citations
14
h-index
22
i10-index
Dominic Orchard is an academic researcher from University of Kent. The author has contributed to research in topics: Logic, programming, and type systems & Formal Methods in Verification & Parallel Computing and Optimization Techniques. The author has an h-index of 14, co-authored 73 publications.
ORCID: 0000-0002-7058-7842Papers by this author
worksComposing Bidirectional Programs Monadically
2019 · Lecture notes in computer science · 7 citations
https://doi.org/10.1007/978-3-030-17184-1_6
Non-linear communication via graded modal session types
2024 · Information and Computation · 2 citations
https://doi.org/10.1016/j.ic.2024.105234
Fostering collaboration through improved software development practices for the ONEFlux eddy covariance data processing pipeline
2023 · 0 citations
https://doi.org/10.5194/egusphere-egu23-11187
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat