APA   Click to copy
Sandberg Eriksson, A., & Jansson, P. (2016). An Agda formalisation of the transitive closure of block matrices (extended abstract). In J. Chapman & W. Swierstra (Eds.), Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016 (pp. 60–61). ACM.

Chicago/Turabian   Click to copy
Sandberg Eriksson, Adam, and Patrik Jansson. “An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract).” In Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016, edited by James Chapman and Wouter Swierstra, 60–61. ACM, 2016.

MLA   Click to copy
Sandberg Eriksson, Adam, and Patrik Jansson. “An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract).” Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016, edited by James Chapman and Wouter Swierstra, ACM, 2016, pp. 60–61.

@inproceedings{sandberg2016a,
  title = {An Agda formalisation of the transitive closure of block matrices (extended abstract)},
  year = {2016},
  pages = {60--61},
  publisher = {ACM},
  author = {Sandberg Eriksson, Adam and Jansson, Patrik},
  editor = {Chapman, James and Swierstra, Wouter},
  booktitle = {Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016}
}