Carlo Angiuli, Edward Morehouse, Daniel R. Licata, Robert Harper. Homotopical patch theory. In Johan Jeuring, Manuel M. T. Chakravarty, editors, Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014. pages 243-256, ACM, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.