User contributions
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 15:33, 2 March 2016 (diff | hist) . . (0) . . Ruud Koot (→Awards)
- 15:03, 2 March 2016 (diff | hist) . . (-7) . . Ruud Koot (→Published)
- 15:00, 2 March 2016 (diff | hist) . . (+33) . . Ruud Koot (→Awards)
- 15:00, 2 March 2016 (diff | hist) . . (0) . . m File:Higher-ranked Exception Types (ICFP 2014 poster).pdf (Ruud Koot moved page File:Poster-icfp2014.pdf to File:Higher-ranked Exception Types (ICFP 2014 poster).pdf without leaving a redirect)
- 14:45, 2 March 2016 (diff | hist) . . (-54) . . Ruud Koot (→Awards)
- 14:45, 2 March 2016 (diff | hist) . . (0) . . N File:Higher-ranked Exception Types (ICFP 2014 poster).pdf
- 14:44, 2 March 2016 (diff | hist) . . (-178) . . Ruud Koot (→Projects)
- 14:28, 2 March 2016 (diff | hist) . . (+235) . . Ruud Koot (→Research)
- 14:25, 2 March 2016 (diff | hist) . . (0) . . N File:Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics.pdf
- 14:19, 2 March 2016 (diff | hist) . . (0) . . N File:Higher-ranked Exception Types.pdf
- 00:57, 22 November 2015 (diff | hist) . . (0) . . m Ruud Koot (Protected "Ruud Koot": High traffic page ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) [cascading])
- 17:33, 7 November 2015 (diff | hist) . . (-1) . . MediaWiki:Vector.css
- 17:50, 22 October 2015 (diff | hist) . . (+1) . . Ruud Koot (→Awards)
- 17:50, 22 October 2015 (diff | hist) . . (+1) . . Ruud Koot (→Publications)
- 17:49, 22 October 2015 (diff | hist) . . (+84) . . Ruud Koot
- 17:48, 22 October 2015 (diff | hist) . . (-84) . . Ruud Koot (→Awards)
- 17:48, 22 October 2015 (diff | hist) . . (+5) . . Ruud Koot (→Awards)
- 17:48, 22 October 2015 (diff | hist) . . (+5) . . Ruud Koot (→Publications)
- 17:45, 22 October 2015 (diff | hist) . . (+70) . . Ruud Koot (→Research)
- 17:44, 22 October 2015 (diff | hist) . . (-5) . . Ruud Koot (→Publications)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)