WG211/M13Hammond: Revision history

From WG 2.11
Jump to navigationJump to search

Diff selection: Mark the radio buttons 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.

29 January 2014

  • curprev 01:2101:21, 29 January 2014 Eric talk contribs 645 bytes +645 Created page with "Talk title: Using Dependent Types for Parallel Programming Abstract: In this talk I will introduce a new approach to capture parallelism information directly in the type of a pr..."
Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M13Hammond"