Publications

[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)