Difference between revisions of "Ruud Koot"
From Ruud Koot
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | __NOTOC__<div style="width: 100%;"><div style="width: 78%; float: left; overflow: wrap; margin-right: 2%;"> | + | __NOTOC__<div style="width: 100%;"><div style="width: 78%; float: left; overflow: wrap; margin-right: 2%;">Hello there! |
== Publications == | == Publications == | ||
| Line 7: | Line 7: | ||
== Photography == | == Photography == | ||
<div class="Panorama" style="height: auto;"> | <div class="Panorama" style="height: auto;"> | ||
| − | [[File:Panorama view from the dome of the St. Peter's Basilica.jpg|frameless|2000px]] | + | [[File:Panorama view from the dome of the St. Peter's Basilica.jpg|frameless|2000px|Panorama view from the dome of the St. Peter's Basilica]] |
</div> | </div> | ||
== Contact information == | == Contact information == | ||
| − | [[File:Qrcode.png|right]] | + | [[File:Qrcode.png|right|QR code]] |
{| | {| | ||
|- | |- | ||
| Line 24: | Line 24: | ||
</div> | </div> | ||
<div style="width: 20%; float: left;"> | <div style="width: 20%; float: left;"> | ||
| − | <div class="Panorama" style="width: auto;">[[File:Ruud-koot.jpg|1000px|frameless]]</div> | + | <div class="Panorama" style="width: auto;">[[File:Ruud-koot.jpg|1000px|frameless|Ruud Koot]]</div> |
</div> | </div> | ||
</div> | </div> | ||
Latest revision as of 17:28, 4 April 2021
Hello there!
Publications
- Ruud Koot & Jurriaan Hage. “Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics”. PEPM 2015.
Photography
Contact information
| : inbox@ruudkoot.nl | |
| Phone | : +31 6 23024223 |
| PGP/GPG | : 6325 1BB2 FB51 B9F8 1D75 5299 A1F9 C757 0B1F 592A |
| Tor | : ruudkootx2pi5tbg.onion |
