%%% ====================================================================
%%%  BibTeX-file{
%%%	author          = "Carsten Varming",
%%%	date            = "17 April 2008",
%%%	filename        = "varming.bib",
%%%     url             = "http://www.cs.cmu.edu/~cvarming/papers/varming.bib",
%%%     www-home        = "http://www.cs.cmu.edu/~cvarming/",
%%%	address         = "CMU CSD,
%%%		           5000 Forbes Ave, Pittsburgh PA, 15213, 
%%%                        USA.",
%%%	email		= "varming at cmu.edu",
%%%	telephone       = "+1 412 805 2055",
%%%     dates           = {2006--},
%%%     keywords        = "",
%%%	supported       = "yes",
%%%	supported-by	= "Carsten Varming",
%%%	abstract        = "Bibliography for Carsten Varming"
%%%  }
%%% ====================================================================

@UNPUBLISHED{Varming:metric,
   author = "Carsten Varming and Lars Birkedal",
   title = "{Ultrametric Domain Theory and Semantics in {Coq}}",
   note = {submitted for publication},
   month = {jan},
   year = {2010},
   pdf = {archive/metric.pdf},
   tgz = {archive/metric.tgz}
}

@inproceedings{Varming:predomains,
  author    = {Nick Benton and Andrew Kennedy and Carsten Varming},
  title     = {Some Domain Theory and Denotational Semantics in {Coq}},
  booktitle = {TPHOLs},
  year      = {2009},
  pages     = {115-130},
  doi        = {http://dx.doi.org/10.1007/978-3-642-03359-9_10},
  pdf       = {archive/domains.pdf},
  tgz       = {archive/domains090324.tgz}
}

@InProceedings{Varming:hosl-formalization,
  author = 	 {Carsten Varming and Lars Birkedal},
  title = 	 {Higher-Order Separation Logic in {I}sabelle/{HOLCF}},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle =	 {Proceedings of MFPS XXIV},
  OPTpages = 	 {},
  year =	 {2008},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {(accepted for publication)},
  OPTannote = 	 {},
  pdf = {archive/hosl-formalization.pdf}
}

@InProceedings{BirkedalL:lily-lapl-conf,
  author =       {L. Birkedal and R.L. Petersen and R. M{\o}gelberg and C. Varming},
  title =        {Operational Semantics and Models of {L}inear {A}badi \& {P}lotkin {L}ogic},
  booktitle =    {},
  year =         2006,
  month =        {June},
  note =         {Submitted for publication},
  pdf =          {archive/lily-lapl-conf.pdf}
}

@Manual{smlserver07,
  title       = {SMLserver---A Functional Approach to Web Publishing (Second Edition)},
  author      = {Martin Elsman and Niels Hallenberg and Carsten Varming},
  institution = {The IT University of Copenhagen, Denmark},
  month       = {April},
  year        = {2007},
  note        = {(174 pages). Available via \texttt{http://www.smlserver.org}},
  pdf = {archive/smlserver-book-20070410.pdf}
}