User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 16:03, 2 March 2016 (diff | hist) . . (-7) . . Ruud Koot (→Published)
- 16:00, 2 March 2016 (diff | hist) . . (+33) . . Ruud Koot (→Awards)
- 16: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)
- 15:45, 2 March 2016 (diff | hist) . . (-54) . . Ruud Koot (→Awards)
- 15:45, 2 March 2016 (diff | hist) . . (0) . . N File:Higher-ranked Exception Types (ICFP 2014 poster).pdf
- 15:44, 2 March 2016 (diff | hist) . . (-178) . . Ruud Koot (→Projects)
- 15:28, 2 March 2016 (diff | hist) . . (+235) . . Ruud Koot (→Research)
- 15: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
- 15:19, 2 March 2016 (diff | hist) . . (0) . . N File:Higher-ranked Exception Types.pdf
- 01: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])
- 18:33, 7 November 2015 (diff | hist) . . (-1) . . MediaWiki:Vector.css
- 18:50, 22 October 2015 (diff | hist) . . (+1) . . Ruud Koot (→Awards)
- 18:50, 22 October 2015 (diff | hist) . . (+1) . . Ruud Koot (→Publications)
- 18:49, 22 October 2015 (diff | hist) . . (+84) . . Ruud Koot
- 18:48, 22 October 2015 (diff | hist) . . (-84) . . Ruud Koot (→Awards)
- 18:48, 22 October 2015 (diff | hist) . . (+5) . . Ruud Koot (→Awards)
- 18:48, 22 October 2015 (diff | hist) . . (+5) . . Ruud Koot (→Publications)
- 18:45, 22 October 2015 (diff | hist) . . (+70) . . Ruud Koot (→Research)
- 18:44, 22 October 2015 (diff | hist) . . (-5) . . Ruud Koot (→Publications)
- 18:44, 22 October 2015 (diff | hist) . . (-5) . . Ruud Koot (→Awards)
- 18:44, 22 October 2015 (diff | hist) . . (+89) . . Ruud Koot (→Awards)
- 18:42, 22 October 2015 (diff | hist) . . (0) . . MediaWiki:Vector.css
- 18:42, 22 October 2015 (diff | hist) . . (+42) . . MediaWiki:Vector.css
- 18:40, 22 October 2015 (diff | hist) . . (+94) . . Ruud Koot (→Publications)
- 19:53, 20 October 2015 (diff | hist) . . (0) . . MediaWiki:Sidebar
- 12:16, 18 October 2015 (diff | hist) . . (-1) . . Ruud Koot
- 12:16, 18 October 2015 (diff | hist) . . (-2) . . Ruud Koot
- 12:10, 18 October 2015 (diff | hist) . . (+214) . . Ruud Koot
- 02:07, 16 October 2015 (diff | hist) . . (+24) . . MediaWiki:Vector.css
- 02:04, 16 October 2015 (diff | hist) . . (+95) . . MediaWiki:Vector.css
- 02:01, 16 October 2015 (diff | hist) . . (-2) . . MediaWiki:Vector.css
- 02:00, 16 October 2015 (diff | hist) . . (+44) . . MediaWiki:Vector.css
- 23:57, 15 October 2015 (diff | hist) . . (-46) . . MediaWiki:Vector.css
- 23:56, 15 October 2015 (diff | hist) . . (+46) . . MediaWiki:Vector.css
- 23:35, 15 October 2015 (diff | hist) . . (+40) . . MediaWiki:Vector.css
- 23:29, 15 October 2015 (diff | hist) . . (+1) . . MediaWiki:Vector.css
- 23:07, 15 October 2015 (diff | hist) . . (-1) . . MediaWiki:Vector.css
- 22:49, 15 October 2015 (diff | hist) . . (+38) . . MediaWiki:Vector.css
- 22:45, 15 October 2015 (diff | hist) . . (+20) . . MediaWiki:Vector.css
- 22:44, 15 October 2015 (diff | hist) . . (+1) . . MediaWiki:Vector.css
- 22:41, 15 October 2015 (diff | hist) . . (+54) . . MediaWiki:Vector.css
- 22:36, 15 October 2015 (diff | hist) . . (-73) . . MediaWiki:Vector.css
- 22:36, 15 October 2015 (diff | hist) . . (+73) . . MediaWiki:Vector.css
- 22:35, 15 October 2015 (diff | hist) . . (-44) . . MediaWiki:Vector.css
- 22:34, 15 October 2015 (diff | hist) . . (+30) . . MediaWiki:Vector.css
- 22:33, 15 October 2015 (diff | hist) . . (+14) . . MediaWiki:Vector.css
- 22:33, 15 October 2015 (diff | hist) . . (+1) . . MediaWiki:Vector.css
- 22:32, 15 October 2015 (diff | hist) . . (0) . . MediaWiki:Vector.css
- 22:32, 15 October 2015 (diff | hist) . . (0) . . MediaWiki:Vector.css
- 22:31, 15 October 2015 (diff | hist) . . (+23) . . MediaWiki:Vector.css
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)