Jackson Brough

Orcid: 0009-0003-9973-5890

According to our database¹, Jackson Brough authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda.

[DOI]

CoRR, April, 2026

2025

Target-Aware Implementation of Real Expressions.

[DOI]

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025