Publications

Here are some of my papers:

Experience Report: Statically Typed Server APIs
by Eric Mertens, Iavor S. Diatchki
Submitted to ICFP 2008
pdf

Writing Systems Software in a Functional Language: An Experience Report
by Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach
PLOS 2007
pdf | bib

High-Level Abstractions for Low-Level Programming
by Iavor S. Diatchki
Ph.D. dissertation, May 2007
pdf | bib

Strongly Typed Memory Areas3
by Iavor S. Diatchki, Mark P. Jones
Haskell Workshop 2006
pdf | Haskell Workshop 2006 presentation (pdf) | bib

High-level Views on Low-level Representations1,2
by Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie
ICFP 2005
pdf | ICFP 2005 presentation (pdf) | bib

A Formal Specification for the Haskell 98 Module System
by Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren
Haskell Workshop 2002
pdf | source code (new Set API) | bib

Notes:

  1. © ACM, (2005). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM SIGPLAN Notices, Volume 40, Issue 9, (September 2005) (Access article)
  2. This material is based upon work supported by the National Science Foundaition under Grant No. 0205737.
  3. © ACM, (2006). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM SIGPLAN Notices (Access article)