Dan R. Ghica
University of Birmingham
H-index: 25
Europe-United Kingdom
Top articles of Dan R. Ghica
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Program compilation method and apparatus | 2024/4/25 | ||
Rewriting modulo traced comonoid structure | arXiv preprint arXiv:2302.09631 | Dan R Ghica George Kaye | 2023/2/19 |
Visualising program dataflow with string diagrams | Nick Hu Alex Rice Calin Tataru Dan Ghica | 2023/11/1 | |
The Far Side of the Cube: An Elementary Introduction to Game Semantics | Dan R Ghica | 2023/8/2 | |
Hierarchical string diagrams and applications | arXiv preprint arXiv:2305.18945 | Dan Ghica Fabio Zanasi | 2023/5/30 |
Rewriting for monoidal closed categories | Mario Alvarez-Picallo Dan Ghica David Sprunger Fabio Zanasi | 2022 | |
Full abstraction for digital circuits | Dan R Ghica George Kaye David Sprunger | 2022 | |
High-level effect handlers in C++ | Proceedings of the ACM on Programming Languages | Dan Ghica Sam Lindley Marcos Maroñas Bravo Maciej Piróg | 2022/10/31 |
Fully abstract categorical semantics for digital circuits Extended abstract | George Kaye David Sprunger Dan R Ghica | 2022/6/24 | |
String diagrams for non-strict monoidal categories | arXiv preprint arXiv:2201.11738 | Paul Wilson Dan Ghica Fabio Zanasi | 2022/1/27 |
A compositional theory of digital circuits | arXiv preprint arXiv:2201.10456 | Dan R Ghica George Kaye David Sprunger | 2022/1/25 |
Global optimisation with constructive reals | Dan R Ghica Todd Waugh Ambridge | 2021/6/29 | |
Operational semantics with hierarchical abstract syntax graphs | arXiv preprint arXiv:2102.02363 | Dan R Ghica | 2021/2/4 |
Normalisation by evaluation for digital circuits | George Kaye Dan R Ghica David Sprunger | 2021/11/17 | |
Functorial string diagrams for reverse-mode automatic differentiation | arXiv preprint arXiv:2107.13433 | Mario Alvarez-Picallo Dan R Ghica David Sprunger Fabio Zanasi | 2021/7/28 |
Rewriting with Cartesian Traced Monoidal Categories | George Kaye Dan R Ghica | 2021/7/12 | |
A Constructive, Type-Theoretic Approach to Regression via Global Optimisation | arXiv preprint arXiv:2006.12868 | Dan R Ghica Todd Waugh Ambridge | 2020/6/23 |
Assuring automotive data and software integrity employing distributed hash tables and blockchain | arXiv preprint arXiv:2002.02780 | Gregory Falco Joshua E Siegel | 2020/2/13 |