Pages that link to "Peter O'Hearn"
Showing 50 items.
- ALGOL (links | edit)
- Atlas Autocode (links | edit)
- List of computer scientists (links | edit)
- CORAL (links | edit)
- Edsger W. Dijkstra (links | edit)
- List of programmers (links | edit)
- Mary (programming language) (links | edit)
- Niklaus Wirth (links | edit)
- Simula (links | edit)
- Tony Hoare (links | edit)
- MAD (programming language) (links | edit)
- Adi Shamir (links | edit)
- Peter Naur (links | edit)
- ABC ALGOL (links | edit)
- Ole-Johan Dahl (links | edit)
- Peter Shor (links | edit)
- Kristen Nygaard (links | edit)
- Butler Lampson (links | edit)
- Andrey Yershov (links | edit)
- Stephen R. Bourne (links | edit)
- ALGOL W (links | edit)
- JOVIAL (links | edit)
- Robert W. Floyd (links | edit)
- John McCarthy (computer scientist) (links | edit)
- Madhu Sudan (links | edit)
- David Willetts (links | edit)
- Regnecentralen (links | edit)
- Gödel Prize (links | edit)
- Peter Landin (links | edit)
- ALGOL 60 (links | edit)
- ALGOL 68 (links | edit)
- John Barnes (computer scientist) (links | edit)
- Shafi Goldwasser (links | edit)
- IMP (programming language) (links | edit)
- Johan Håstad (links | edit)
- Elon Musk (links | edit)
- Bunched logic (links | edit)
- Adriaan van Wijngaarden (links | edit)
- ALGOL 58 (links | edit)
- ALGOL X (links | edit)
- ALGOL N (links | edit)
- Elliott ALGOL (links | edit)
- ALGOL 68S (links | edit)
- Executive Systems Problem Oriented Language (links | edit)
- NELIAC (links | edit)
- Edinburgh IMP (links | edit)
- Nobuo Yoneda (links | edit)
- English Electric KDF9 (links | edit)
- ALGO (links | edit)
- Manindra Agrawal (links | edit)