Revision history of "WG211/Inoue"

From WG 2.11
Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 20:26, 6 June 2012‎ Ups (talk | contribs)‎ . . (1,045 bytes) (0)‎
  • (cur | prev) 20:25, 6 June 2012‎ Ups (talk | contribs)‎ . . (1,045 bytes) (+1,045)‎ . . (Created page with "'''Reasoning About Multi-stage Programs''' by Jon Inoue We settle three basic questions that naturally arise when verifying multi-stage functional programs. Firstly, does addin...")
Retrieved from "https://wiki.hh.se/wg211/index.php/WG211/Inoue"