refs.bib

@inproceedings{SandbergEriksson:2016:AFT:2976022.2976025,
  author =       {Sandberg Eriksson, Adam and Jansson, Patrik},
  title =        {An Agda Formalisation of the Transitive Closure of
                  Block Matrices (Extended Abstract)},
  booktitle =    {Proceedings of the 1st International Workshop on
                  Type-Driven Development},
  series =       {TyDe 2016},
  year =         2016,
  isbn =         {978-1-4503-4435-7},
  location =     {Nara, Japan},
  pages =        {60--61},
  numpages =     2,
  url =          {http://doi.acm.org/10.1145/2976022.2976025},
  doi =          {10.1145/2976022.2976025},
  acmid =        2976025,
  publisher =    {ACM},
  address =      {New York, NY, USA},
  keywords =     {Dependent types, Functional Programming, Linear
                  Algebra},
}