@inproceedings{DBLP:conf/icfp/Jones08a,
  author       = {Mark P. Jones},
  editor       = {James Hook and
                  Peter Thiemann},
  title        = {Polymorphism and page tables: systems programming from a functional
                  programmer's perspective},
  booktitle    = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
                  Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
                  20-28, 2008},
  pages        = {265--266},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1411204.1411207},
  doi          = {10.1145/1411204.1411207},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Jones08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}