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 | Description | Versions |
|---|---|---|---|---|---|
| 20:25, 13 December 2011 | Abcline.gif (file) |  |
2 KB | 1 | |
| 20:25, 13 December 2011 | Aims-2003-09-01.txt (file) |  |
3 KB | 1 | |
| 20:25, 13 December 2011 | Cfp.pdf (file) |  |
40 KB | 2 | |
| 20:25, 13 December 2011 | CFP DSL.pdf (file) | |
50 KB | 2 | |
| 20:25, 13 December 2011 | IFIPRegistration.doc (file) |  |
25 KB | Registration form (word) | 1 |
| 20:25, 13 December 2011 | IFIPRegistration.pdf (file) | |
60 KB | Registration form (pdf) | 1 |
| 20:24, 13 December 2011 | VanWyk M8 slides.pdf (file) | |
2.61 MB | 1 | |
| 20:24, 13 December 2011 | Apel M8 slides.pdf (file) | |
955 KB | 1 | |
| 20:24, 13 December 2011 | Westbrook M8 slides.ppt (file) | |
2.98 MB | 1 | |
| 20:23, 13 December 2011 | Kaestner M8 slides.pdf (file) | |
1.19 MB | 1 | |
| 20:23, 13 December 2011 | Schaefer M8 slides.pdf (file) | |
2.13 MB | 1 | |
| 20:23, 13 December 2011 | Markhall M8 slides.pdf (file) | |
1.17 MB | 1 | |
| 20:22, 13 December 2011 | Hermann M8 slides.pdf (file) | |
546 KB | 1 | |
| 20:22, 13 December 2011 | Michaelson M8 slides.ppt (file) | |
333 KB | 1 | |
| 20:22, 13 December 2011 | Aktemur M8 slides.pdf (file) | |
187 KB | 1 | |
| 20:22, 13 December 2011 | Dobson M8 slides.pdf (file) | |
664 KB | 1 | |
| 20:22, 13 December 2011 | Weirich M8 slides.pptx (file) | |
112 KB | 1 | |
| 20:22, 13 December 2011 | 211-deptyp.pdf (file) | |
252 KB | Slides | 1 |
| 20:22, 13 December 2011 | Vanwyk-wg09.pdf (file) | |
224 KB | Slides | 1 |
| 20:22, 13 December 2011 | Taha-wg09.ppt (file) | |
106 KB | Slides | 1 |
| 20:22, 13 December 2011 | Stump-wg09.pdf (file) | |
93 KB | Slides | 1 |
| 20:22, 13 December 2011 | Smaragdakis-morphj-wg09.pdf (file) | |
1.25 MB | Slides on morphJ | 1 |
| 20:21, 13 December 2011 | Smaragdakis-libspec-wg09.pdf (file) | |
55 KB | Slides on cJ | 1 |
| 20:21, 13 December 2011 | Sloane-wg09.pdf (file) | |
539 KB | Slides | 1 |
| 20:21, 13 December 2011 | Shan-wg09.pdf (file) | |
477 KB | Slides | 1 |
| 20:21, 13 December 2011 | Lawall-wg09.pdf (file) | |
116 KB | Slides | 1 |
| 20:21, 13 December 2011 | Kelly-wg09.ppt (file) | |
8.39 MB | Slides | 1 |
| 20:19, 13 December 2011 | Kamin-wg09.pdf (file) | |
1,007 KB | Slides | 1 |
| 20:19, 13 December 2011 | 2009-Batches-WG211.pdf (file) | |
417 KB | Slides | 1 |
| 20:19, 13 December 2011 | Bodik-wg09.ppt (file) | |
3.18 MB | Slides | 1 |
| 20:19, 13 December 2011 | Apel-wg09.pdf (file) | |
1.34 MB | Slides | 1 |
| 20:18, 13 December 2011 | Pictures1.tar.gz (file) | |
7.61 MB | meeting pictures, part 1 | 1 |
| 20:17, 13 December 2011 | Pictures2.tar.gz (file) | |
7.63 MB | meeting pictures, part 2 | 1 |
| 20:16, 13 December 2011 | Pictures3.tar.gz (file) | |
7.96 MB | meeting pictures, part 3 | 1 |
| 20:14, 13 December 2011 | Pictures4.tar.gz (file) | |
6.69 MB | meeting pictures, part 4 | 1 |
| 20:13, 13 December 2011 | Passaumap.pdf (file) | |
263 KB | Map to the meeting location (20 minute walk from the Holiday Inn) | 1 |
| 20:13, 13 December 2011 | Apel.pdf (file) | |
822 KB | 1 | |
| 20:13, 13 December 2011 | Wg211-talk.pdf (file) | |
139 KB | Chung-chieh Shan's talk slides | 1 |
| 20:13, 13 December 2011 | ProgGen for NGATS.ppt (file) | |
1.82 MB | Ewen's talk | 1 |
| 20:12, 13 December 2011 | Kniesel.pdf (file) | |
182 KB | 1 | |
| 20:12, 13 December 2011 | Lawall.pdf (file) | |
171 KB | 1 | |
| 20:12, 13 December 2011 | Danvy.pdf (file) | |
42 KB | 1 | |
| 20:12, 13 December 2011 | Lengauer.pdf (file) | |
1.13 MB | 1 | |
| 20:12, 13 December 2011 | Hermann.pdf (file) | |
246 KB | 1 | |
| 20:12, 13 December 2011 | Sestoft.ppt (file) | |
213 KB | 1 | |
| 20:12, 13 December 2011 | Mjpres.pdf (file) | |
413 KB | 1 | |
| 20:12, 13 December 2011 | Staged-calculi.pdf (file) | |
43 KB | %22Staged calculi%22 discussion slides | 1 |
| 20:12, 13 December 2011 | Embedded-system-notes.txt (file) | |
441 bytes | Notes on the Embedded Systems Discussion Session | 1 |
| 20:12, 13 December 2011 | Peter.txt (file) | |
6 KB | 1 | |
| 20:12, 13 December 2011 | Dependent-types.ppt (file) | |
296 KB | Notes from dependent types session | 1 |
First page |
Previous page |
Next page |
Last page |
