Reflecting Modular Automation

Gregory Malecha

talk coq mirror-shard computational reflection

slides

Citation (BibTex)

@unpublished{malecha2013reflecting,
  title="Reflecting Modular Automation",
  author="Gregory Malecha",
  month="January",
  year="2013",
  url={http://gmalecha.github.io/publication/2013/01/18/reflecting-modular-automation.html}
}