@unpublished{Brady2016statemachines,
  title = {State Machines All The Way Down: An Architecture for Dependently Typed Applications},
  author = {Edwin Brady},
  year = {2016},
  note = {Unpublished draft},
  researchr = {https://researchr.org/publication/Brady2016statemachines},
  cites = {0},
  citedby = {0},
}