Ideas for articles

Writing articles is part of my retirement plan. Most of the ideas for articles listed below will probably stay as just ideas. Articles I’ve actually written after retiring are here.

• Memories of my PhD research

• Trying to understand probability and what it means

• Catching up with the last thirty years of functional programming

• The mysterious allure category theory

• Longer version of my article “Christopher Strachey: recollections of his influence”

• Recollections of Gordon Plotkin’s discovery of logical relations

• Wisdom gained from supervising and examining students

• The amazing longevity and inspiration of Hoare logic ideas

• The amazing longevity and inspiration of Milner’s LCF ideas

• Reflections on the evolution and future prospects of HOL

• Memories of the RSRE Viper microprocessor

• A history of the ideas underlying deep and shallow embedding

• My fruitful collaboration with Graham Birtwhistle

• A history of linking HOL and ACL2

• Why I think the CakeML project is awesome

• Research suggestions for other people

• Why I published so few papers

• Some background to my Mother’s memoir “A Himalayan Sunset” describing her childhood in India