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