Mark Priestley

ORCID

Publication Activity (10 Years)

Years Active: 1995-2021
Publications (10 Years): 8

Top Venues

IEEE Ann. Hist. Comput.

Commun. ACM

FM Workshops (2)

Minds Mach.

University College London, UK (PHD)

Education History

University College London, UK

PHD

Publications

Mark Priestley
Logic, Code, and the History of Programming. IEEE Ann. Hist. Comput. 43 (4) (2021)
Mark Priestley, Tomas Petricek, David Hemmendinger
Report on HOPL IV - ACM SIGPLAN History of Programming Languages Conference. IEEE Ann. Hist. Comput. 43 (3) (2021)
Thomas Haigh, Mark Priestley
von Neumann thought Turing's universal machine was 'simple and neat.': but that didn't tell him how to design a computer. Commun. ACM 63 (1) (2020)
Mark Priestley
Flow Diagrams, Assertions, and Formal Methods. FM Workshops (2) (2019)
Thomas Haigh, Mark Priestley
Colossus and Programmability. IEEE Ann. Hist. Comput. 40 (4) (2018)
Mark Priestley
AI and the Origins of the Functional Programming Language Style. Minds Mach. 27 (3) (2017)
Thomas Haigh, Mark Priestley
Where code comes from: architectures of automatic control from Babbage to Algol. Commun. ACM 59 (1) (2016)
Thomas Haigh, Mark Priestley
Innovators assemble: Ada Lovelace, Walter Isaacson, and the superheroines of computing. Commun. ACM 58 (9) (2015)
Thomas Haigh, Mark Priestley, Crispin Rope
Engineering "The Miracle of the ENIAC": Implementing the Modern Code Paradigm. IEEE Ann. Hist. Comput. 36 (2) (2014)
Thomas Haigh, Mark Priestley, Crispin Rope
Reconsidering the Stored-Program Concept. IEEE Ann. Hist. Comput. 36 (1) (2014)
Thomas Haigh, Mark Priestley, Crispin Rope
Los Alamos Bets on ENIAC: Nuclear Monte Carlo Simulations, 1947-1948. IEEE Ann. Hist. Comput. 36 (3) (2014)
Daniela Sime, Mark Priestley
Student teachers' first reflections on information and communications technology and classroom learning: implications for initial teacher education. J. Comput. Assist. Learn. 21 (2) (2005)
Mark d'Inverno, Mark Priestley, Michael Luck
Formal framework for hypertext systems. IEE Proc. Softw. Eng. 144 (3) (1997)
Mark d'Inverno, Mark Priestley
Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. ZUM (1995)

Mark Priestley.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mark Priestley