File list
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 00:27, 28 May 2015 | Panorama view from the dome of the St. Peter's Basilica.jpg (file) |  |
11.24 MB | 1 | |
| 14:47, 2 April 2021 | Ruud-koot.jpg (file) |  |
616 KB | 3 | |
| 15:25, 2 March 2016 | Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics.pdf (file) |  |
459 KB | 1 | |
| 15:19, 2 March 2016 | Higher-ranked Exception Types.pdf (file) | |
267 KB | 1 | |
| 15:45, 2 March 2016 | Higher-ranked Exception Types (ICFP 2014 poster).pdf (file) | |
81 KB | 1 | |
| 01:36, 5 March 2015 | Logo.png (file) |  |
3 KB | Reverted to version as of 23:30, 4 March 2015 | 3 |
| 02:17, 1 September 2015 | Qrcode.png (file) |  |
293 bytes | 3 |
