source:
Deliverables/Dissemination
@
3291
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| back-end | 3289 | 8 years | … | ||
| final-review | 3291 | 8 years | template beamer file, and notes for the talk more later today! | ||
| front-end | 3285 | 8 years | Renaming and moving | ||
| proof-structured-traces | 2945 | 8 years | Minor tweak. | ||
| README | 3.3 KB | 2577 | 8 years | abstract of indexed labels talk | |
| fetopen.png | 138.1 KB | 2558 | 8 years | r | |
| funcca-slide.pdf | 438.0 KB | 2586 | 8 years | r | |
| labelling-approach-slide.pdf | 480.1 KB | 2584 | 8 years | * Update slides. | |
Note: See TracBrowser
for help on using the repository browser.
