File list
From WG 2.11
This special page shows all uploaded files.
First page |
Previous page |
Next page |
Last page |
Date | Name | Thumbnail | Size | User | Description | Versions |
---|---|---|---|---|---|---|
20:22, 13 December 2011 | Weirich M8 slides.pptx (file) | 112 KB | Walid | 1 | ||
20:22, 13 December 2011 | 211-deptyp.pdf (file) | 252 KB | Walid | Slides | 1 | |
20:22, 13 December 2011 | Vanwyk-wg09.pdf (file) | 224 KB | Walid | Slides | 1 | |
20:22, 13 December 2011 | Taha-wg09.ppt (file) | 106 KB | Walid | Slides | 1 | |
20:22, 13 December 2011 | Stump-wg09.pdf (file) | 93 KB | Walid | Slides | 1 | |
20:22, 13 December 2011 | Smaragdakis-morphj-wg09.pdf (file) | 1.25 MB | Walid | Slides on morphJ | 1 | |
20:21, 13 December 2011 | Smaragdakis-libspec-wg09.pdf (file) | 55 KB | Walid | Slides on cJ | 1 | |
20:21, 13 December 2011 | Sloane-wg09.pdf (file) | 539 KB | Walid | Slides | 1 | |
20:21, 13 December 2011 | Shan-wg09.pdf (file) | 477 KB | Walid | Slides | 1 | |
20:21, 13 December 2011 | Lawall-wg09.pdf (file) | 116 KB | Walid | Slides | 1 | |
20:21, 13 December 2011 | Kelly-wg09.ppt (file) | 8.39 MB | Walid | Slides | 1 | |
20:19, 13 December 2011 | Kamin-wg09.pdf (file) | 1,007 KB | Walid | Slides | 1 | |
20:19, 13 December 2011 | 2009-Batches-WG211.pdf (file) | 417 KB | Walid | Slides | 1 | |
20:19, 13 December 2011 | Bodik-wg09.ppt (file) | 3.18 MB | Walid | Slides | 1 | |
20:19, 13 December 2011 | Apel-wg09.pdf (file) | 1.34 MB | Walid | Slides | 1 | |
20:18, 13 December 2011 | Pictures1.tar.gz (file) | 7.61 MB | Walid | meeting pictures, part 1 | 1 | |
20:17, 13 December 2011 | Pictures2.tar.gz (file) | 7.63 MB | Walid | meeting pictures, part 2 | 1 | |
20:16, 13 December 2011 | Pictures3.tar.gz (file) | 7.96 MB | Walid | meeting pictures, part 3 | 1 | |
20:14, 13 December 2011 | Pictures4.tar.gz (file) | 6.69 MB | Walid | meeting pictures, part 4 | 1 | |
20:13, 13 December 2011 | Passaumap.pdf (file) | 263 KB | Walid | Map to the meeting location (20 minute walk from the Holiday Inn) | 1 | |
20:13, 13 December 2011 | Apel.pdf (file) | 822 KB | Walid | 1 | ||
20:13, 13 December 2011 | Wg211-talk.pdf (file) | 139 KB | Walid | Chung-chieh Shan's talk slides | 1 | |
20:13, 13 December 2011 | ProgGen for NGATS.ppt (file) | 1.82 MB | Walid | Ewen's talk | 1 | |
20:12, 13 December 2011 | Kniesel.pdf (file) | 182 KB | Walid | 1 | ||
20:12, 13 December 2011 | Lawall.pdf (file) | 171 KB | Walid | 1 | ||
20:12, 13 December 2011 | Danvy.pdf (file) | 42 KB | Walid | 1 | ||
20:12, 13 December 2011 | Lengauer.pdf (file) | 1.13 MB | Walid | 1 | ||
20:12, 13 December 2011 | Hermann.pdf (file) | 246 KB | Walid | 1 | ||
20:12, 13 December 2011 | Sestoft.ppt (file) | 213 KB | Walid | 1 | ||
20:12, 13 December 2011 | Mjpres.pdf (file) | 413 KB | Walid | 1 | ||
20:12, 13 December 2011 | Staged-calculi.pdf (file) | 43 KB | Walid | %22Staged calculi%22 discussion slides | 1 | |
20:12, 13 December 2011 | Embedded-system-notes.txt (file) | 441 bytes | Walid | Notes on the Embedded Systems Discussion Session | 1 | |
20:12, 13 December 2011 | Peter.txt (file) | 6 KB | Walid | 1 | ||
20:12, 13 December 2011 | Dependent-types.ppt (file) | 296 KB | Walid | Notes from dependent types session | 1 | |
20:12, 13 December 2011 | Code generator assurance (overview).ppt (file) | 826 KB | Walid | Overview talk for the generator assurance session | 1 | |
20:12, 13 December 2011 | Code generator assurance (summary).ppt (file) | 204 KB | Walid | Summary of the discussion from the generator assurance session | 1 | |
20:12, 13 December 2011 | 276dc4422ef77a950a94008a4415754f.png (file) | 298 bytes | Walid | 1 | ||
20:11, 13 December 2011 | 9ee97d2bab9cce6f0b661e0a8782c1ef.png (file) | 261 bytes | Walid | 1 | ||
20:11, 13 December 2011 | Dagstuhl211.pdf (file) | 248 KB | Walid | 1 | ||
20:11, 13 December 2011 | DSI-WG211-Talk-Draft03.ppt (file) | 2.08 MB | Walid | 1 | ||
20:11, 13 December 2011 | Xlanguage.pdf (file) | 202 KB | Walid | Enjoyable and Predictable Meta-Programming | 1 | |
20:11, 13 December 2011 | Nsynchronous.pdf (file) | 175 KB | Walid | N-Synchronous Kahn Networks | 1 | |
20:11, 13 December 2011 | Striegnitz.pdf (file) | 1.59 MB | Walid | 1 | ||
20:11, 13 December 2011 | LopezHerrejonFeaturesToAspects.pdf (file) | 222 KB | Walid | Mapping Features to Aspects | 1 | |
20:11, 13 December 2011 | Herrmann.pdf (file) | 422 KB | Walid | Slides | 2 | |
20:11, 13 December 2011 | Brady.pdf (file) | 118 KB | Walid | 1 | ||
20:10, 13 December 2011 | Talk.ppt (file) | 224 KB | Walid | 1 | ||
20:10, 13 December 2011 | Weirich-aop.ppt (file) | 69 KB | Walid | AOP Panel | 1 | |
20:10, 13 December 2011 | PermParsers2002.pdf (file) | 323 KB | Walid | 1 | ||
20:10, 13 December 2011 | Dagstuhl06.ppt (file) | 183 KB | Walid | 1 |
First page |
Previous page |
Next page |
Last page |