@string{proc = "Proceedings of the "}
@string{hotos = "Workshop on Hot Topics in Operating Systems"}
@string{hotos05 = proc#"10th "#hotos}

@inproceedings{wadler92essence,
 author = {Philip Wadler},
 title = {The essence of functional programming},
 booktitle = {POPL '92: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1992},
 isbn = {0-89791-453-8},
 pages = {1--14},
 location = {Albuquerque, New Mexico, United States},
 doi = {http://doi.acm.org/10.1145/143165.143169},
 publisher = {ACM Press},
}

@book{peytonjones03haskell,
 editor = {Simon {Peyton Jones}},
 title = {Haskell 98 Language and Libraries: The Revised Report},
 publisher = {Cambridge University Press},
 year = 2003,
 month = apr,
}

@article{Fax:static,
 author         = "Karl-Filip Fax\'{e}n",
 title          = "A Static Semantics for {Haskell}",
 pages          = "295--357",
 year           = 2002,
 month          = jul,
 journal        = "Journal of Functional Programming",
 volume         = 12,
 number         = "4\&5"
}

@InProceedings{Tuch-KH-05,
  author = 	 {Harvey Tuch and Gerwin Klein and Gernot Heiser},
  title = 	 {{OS} Verification --- Now!},
  booktitle =	 hotos05,
  pages =	 {7--12},
  year =	 2005,
  address =	 {Santa Fe, NM, USA},
  month =	 jun
}

@article{Liedtke-94a,
     author = 	 "Jochen Liedtke",
     title     = "Page Table Structures For Fine-Grain Virtual Memory",
     journal   = "IEEE Technical Committee on Computer Architecture Newsletter",
     year      = 1994,
}

@Misc{Pistachio:URL,
  key =		 {L4Ka},
  author = 	 {{L4Ka Team}},
  title =	 {{L4Ka::Pistachio} Kernel},
  howpublished = {\url{http://l4ka.org/projects/pistachio/}}
}

@Misc{monad-tutorial,
    author = "Jeff Newbern",
    title = "All About Monads",
    howpublished = {\url{http://www.nomaware.com/monads/html/}}
}

@Misc{haskell-tutorial,
    author = "Paul Hudak and John Peterson and Joseph Fasel",
    title = "A Gentle Introduction to {Haskell} Version 98",
    year = 2000,
    month = jun,
    howpublished = {\url{http://www.haskell.org/tutorial/}}
}


