Polymorphism and page tables: systems programming from a functional programmer's perspective.

Mark P. Jones

Browse the full ICFP paper archive.