Everything about Rod Burstall

🧭 Start here: a 6-step reading path

1. Read the overview: Rod BurstallA 5-minute orientation
2. Pick up a classic book: POP-2 papersThe most-reprinted book on the subject
3. Read the landmark paper: Rod Burstall: In MemoriamCited 0 times
4. Go sideways: Extended MLA closely related topic
5. Go sideways: Xavier LeroyA closely related topic

🏆 Landmark papers (most cited)

• Rod Burstall: In Memoriam

  J Strother Moore, Gordon Plotkin, David Rydeheard · 2025 · Formal Aspects of Computing · 0 citations

• Ode to Rod Burstall

  Eleanor Kerse · 2002 · Formal Aspects of Computing · 0 citations

• Rod Burstall: A Personal Note

  Peter Landin · 2002 · Formal Aspects of Computing · 0 citations

• A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science

  DAVID E. RYDEHEARD, DONALD T. SANNELLA · 2002 · Formal Aspects of Computing · 0 citations

📚 Books worth reading

• 📕POP-2 papersRod M. Burstall · 1968
• 📕Programming in POP-2 [by] R.M. Burstall, J.S. Collins [and] R.J. PopplestoneRod M. Burstall · 1971
• Programming in POP-2Rod M. Burstall · 1971
• 📕A tree searching method for solving integer linear inequalitiesRod M. Burstall · 1965
• 📕Types for proofs and programsTYPES '99 (1999 Lökeberg, Sweden) · 2000
• Computational category theoryD. E. Rydeheard · 1988

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Extended ML Extended ML is a general-purpose, high-level, wide-spectrum programming language based on the languages ML and Standard ML, covering both program specification…
• Xavier Leroy Xavier Leroy (born 15 March 1968) is a French computer scientist and programmer. He is best known for his role as a primary developer of the OCaml system…
• Hope (programming language) Hope is a programming language based on functional programming developed in the 1970s at the University of Edinburgh. It predates Miranda and Haskell and…
• John C. Reynolds John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist. John Reynolds studied at Purdue University and then earned a…
• List of programming language researchers The following is list of researchers of programming language theory, design, implementation, and related areas. Martín Abadi, for the programming language…
• Matthias Felleisen Matthias Felleisen is a German-American computer science professor and author. He grew up in Germany and immigrated to the US in his twenties. He received…
• George Necula George Ciprian Necula is a Romanian computer scientist, engineer at Google, and former professor at the University of California, Berkeley who does research…
• Simon Peyton Jones Simon Peyton Jones (born 18 January 1958) is a British computer scientist who researches the implementation and applications of functional programming…