Invited Papers and Other Unrefereed Publications

These include a few early drafts of papers subsequently published later, as well as letters and invited contributions to collected volumes.

  1. L. C. Paulson.
    Keep E-Journals Affordable.
    Letter, Communications of the ACM 44 8 (August 2001), 11–13.
  2. L. C. Paulson.
    The Descent of BAN. In: Andrew Herbert and Karen Spärck Jones (editors), Computer Systems: Theory, Technology, and Applications. (Springer, 2004), 225–228.
  3. L. C. Paulson.
    Welcome Defects as a Sign of Innovation?
    Letter, Communications of the ACM 48 11 (November 2005), 11–13.
  4. Markus Wenzel and L. C. Paulson. Isabelle/Isar. In: Freek Wiedijk (editor), The Seventeen Provers of the World (Springer LNCS 3600, 2006), 41–49.
  5. L. C. Paulson.
    Even a Good Abstraction Needs Experience and Testing, Too.
    Letter, Communications of the ACM 50 9 (September 2007), 13–14.
  6. Makarius Wenzel, L. C. Paulson, Tobias Nipkow.
    The Isabelle Framework.
    In: Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (editors),
    Theorem Proving in Higher Order Logics (Springer LNCS 5170, 2008), 33–38.
  7. Christoph Benzmüller and L. C. Paulson.
    Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II.
    In: Chris Benzmüller, Chad Brown, Jörg Siekmann and Rick Statman (editors), Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (College Publications, 2008), 401–422.
  8. Christoph Benzmüller and L.C.Paulson.
    Quantified Multimodal Logics in Simple Type Theory.
    CoRR (2009). Subsequently accepted to Logica Universalis (2012).
  9. L. C. Paulson. Functional Programming in ML.
    In Phillip Laplante (editor), Encyclopedia of Software Engineering (Taylor & Francis, 2010), 333–346.
  10. L. C. Paulson.
    What Liability for Faulty Software?
    Letter, Communications of the ACM 55 2 (February 2012), 6–7.
  11. L. C. Paulson.
    What We Want from Computer Science.
    Letter, Communications of the ACM 56 7 (July 2013), 8–9.
  12. L. C. Paulson.
    Provenance of British Computing
    Letter, Communications of the ACM 57 9 (September 2014), 8–9.

Last revised: 23 February, 2015

Lawrence C. PaulsonComputer LaboratoryUniversity of Cambridge