Difference between revisions of "Ruud Koot"
From Ruud Koot
m (Protected "Main Page" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) [cascading]) |
|||
(63 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%;">Hello there! | |
+ | |||
+ | == Publications == | ||
+ | * Ruud Koot & Jurriaan Hage. “[[Media:Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics.pdf|Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics]]”. <abbr title="ACM SIGPLAN Workshop on | ||
+ | Partial Evaluation and Program Manipulation 2015">PEPM 2015</abbr>. | ||
+ | |||
+ | == Photography == | ||
+ | <div class="Panorama" style="height: auto;"> | ||
+ | [[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> | ||
+ | |||
+ | == Contact information == | ||
+ | [[File:Qrcode.png|right|QR code]] | ||
+ | {| | ||
+ | |- | ||
+ | | Email || : [mailto:inbox@ruudkoot.nl inbox@ruudkoot.nl] | ||
+ | |- | ||
+ | | Phone || : [tel:+31-6-23024223 +31 6 23024223] | ||
+ | |- | ||
+ | | PGP/GPG || : [https://pgp.mit.edu/pks/lookup?search=0x63251bb2fb51b9f81d755299a1f9c7570b1f592a&op=vindex&fingerprint=on 6325 1BB2 FB51 B9F8 1D75 5299 A1F9 C757 0B1F 592A] | ||
+ | |- | ||
+ | | Tor || : [http://ruudkootx2pi5tbg.onion ruudkootx2pi5tbg.onion] | ||
+ | |} | ||
+ | </div> | ||
+ | <div style="width: 20%; float: left;"> | ||
+ | <div class="Panorama" style="width: auto;">[[File:Ruud-koot.jpg|1000px|frameless|Ruud Koot]]</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 |