source: Deliverables/Dissemination @ 3291

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