Towards native higher-order remote procedure calls [pdf]

Writing a simple operating system from scratch (2010) [pdf]