Editorial. On being a PhD student of Robert Harper

DOI10.1017/S0956796821000289MaRDI QIDQ5862391zbMATH OpenFDO

Authors

Publication date 9 March 2022

Published in Journal of Functional Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S0956796821000289

Mathematics Subject Classification ID

Festschriften (00B30) Biographies, obituaries, personalia, bibliographies (01A70)

Recommendations

• On being a student of John Reynolds
• EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version
• Theories of programming. The life and works of Tony Hoare
• Mathematical foundations of software engineering. Essays in honour of Tom Maibaum on the occasion of his 70th birthday and retirement. Contributions of the international symposium, UNRC, Rio Cuarto, Argentina, February 16--17, 2019
• Foreword

Cited in

(3)

• Editorial: Laureates meet young researchers in Heidelberg
• Philipp Frank at Harvard University: his work and his influence
• On being a student of John Reynolds

This page was built for publication: Editorial. On being a PhD student of Robert Harper

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5862391)