Publications

[VB10]

Carsten Varming and Lars Birkedal. Ultrametric Domain Theory and Semantics in Coq. submitted for publication, jan 2010. (PDF, 530056 bytes) (TGZ, 97908 bytes)

[BKV09]

Nick Benton, Andrew Kennedy, and Carsten Varming. Some domain theory and denotational semantics in Coq. In TPHOLs, pages 115–130, 2009. (PDF, 230554 bytes) (TGZ, 86558 bytes)

[VB08]

Carsten Varming and Lars Birkedal. Higher-order separation logic in Isabelle/HOLCF. In Proceedings of MFPS XXIV, 2008. (PDF, 326511 bytes)

[EHV07]

Martin Elsman, Niels Hallenberg, and Carsten Varming. SMLserver—A Functional Approach to Web Publishing (Second Edition), April 2007. (174 pages). Available via http://www.smlserver.org. (PDF, 952487 bytes)

[BPMV06]

L. Birkedal, R.L. Petersen, R. Møgelberg, and C. Varming. Operational semantics and models of Linear Abadi & Plotkin Logic. June 2006. Submitted for publication. (PDF, 302365 bytes)