The following pages link to John C. Reynolds
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- ALGOL (links | edit)
- April 28 (links | edit)
- Atlas Autocode (links | edit)
- Currying (links | edit)
- List of computer scientists (links | edit)
- CORAL (links | edit)
- Edsger W. Dijkstra (links | edit)
- List of programmers (links | edit)
- June 1 (links | edit)
- Lazy evaluation (links | edit)
- Mutual recursion (links | edit)
- Mary (programming language) (links | edit)
- Niklaus Wirth (links | edit)
- Programming language (links | edit)
- Simula (links | edit)
- Tony Hoare (links | edit)
- MAD (programming language) (links | edit)
- Peter Naur (links | edit)
- Ole-Johan Dahl (links | edit)
- Kristen Nygaard (links | edit)
- Andrey Yershov (links | edit)
- Hoare logic (links | edit)
- Stephen R. Bourne (links | edit)
- ALGOL W (links | edit)
- Subtyping (links | edit)
- JOVIAL (links | edit)
- ISWIM (links | edit)
- Polymorphism (computer science) (links | edit)
- Robert W. Floyd (links | edit)
- John McCarthy (computer scientist) (links | edit)
- Semantics (computer science) (links | edit)
- John Reynolds (links | edit)
- Continuation (links | edit)
- Regnecentralen (links | edit)
- Monad (functional programming) (links | edit)
- Peter Landin (links | edit)
- ALGOL 60 (links | edit)
- ALGOL 68 (links | edit)
- Continuation-passing style (links | edit)
- Moses Schönfinkel (links | edit)
- System F (links | edit)
- School of Informatics, University of Edinburgh (links | edit)
- John Barnes (computer scientist) (links | edit)
- IMP (programming language) (links | edit)
- Per Brinch Hansen (links | edit)
- History of programming languages (links | edit)
- Bunched logic (links | edit)
- Adriaan van Wijngaarden (links | edit)
- ALGOL 58 (links | edit)
- ALGOL X (links | edit)