HOPL - Search page
Find languages by details
name
string match
year
search in notes
Search references and sources
Source details
Year (optional)
In source extracts
Year (optional)
Go to designated pages
Language type
JOSS family
BASIC family
Conversational Coeval
True Autocodes
Autocode Coeval
True FORTRANs
Fortran Coeval
True Algol58s
IAL Coeval
True ALGOL60s
CPL Algols
Wirth Algols
PL/I Languages
Object-algorithmic/Class
True ALGOL68s
Partial A68 only
Multiline
Crossword
3-D Text Languages
2-D Visual Languages
3-D Visual Languages
Assemblers
Serial Operators
Single-assignment
Polymorphic
Lazy Evaluation FPs
Strict evaluation FPs
Lazy Evaluation LISPs
Strict evaluation LISPs
Symbolic
Predicate
Algebraic
Calculating and Formulaic
Geometric
Modelling
Analysis
Statistical
Sheets
Visualisation
Queue
Stack
List
Array
Sequence, Stream
Set
Ring
Tree
Graph/Network
Nested Array
Vector
Map/Dictionary
Tuple
Moebius map
Labelled Tree/Hierarchical DB
Labelled Graph/Network / Network DB
Matrix
Lattice
Quad tree
3d network
Labelled Quad tree
Labelled 3d network
Labelled Matrix /RDBMs
Klein Structure
Cube
Hypercube
Nested Vector
Labelled Cube
Nested Map
Labelled Hypercube
True Object-oriented
Autopoeitic
Actor
Prototyping
Theoretical incl category based
Text-display
Construct-related
Direct-manipulation
Cell-based
Sound-Performance
Sound-control
Sound-Synthesis
Animation
AV-Editing
AV-Control
AV-Synthesis
Interface design
Numerical Control
Motion Analysis
Robotics
Environmental feedback
Activity
Process
Event
Transaction Flow
Direct Equation
Difference Equations
Differential Equations
Monte Carlo
Relative time
Interval time
Absolute-time
Branching-temporal
Linear-temporal
Structure-based
Context-based
Proto-COBOLs
COBOLs
Irregular DPLs
Irregular Query Languages
Report Generators
CAI languages
CATI languages
Game languages
Response languages
Characters
Macros
Substrings
Lines
Patterns
Markovs
Streams
Language-oriented
Grammar-oriented
Definition languages
Information Retrieval
Decision tables
Horn clause
Linear
Intensional
Modal
RETE production
Frame languages
Erotetic
Bayesian
Abstract data type
Actor
Agent
Array
Cirque
Database
Decision Table
Dictionary
File
Function
Graph
Iteration
Lattice
List
Markov
Matrix
Message
Object
Procedure
Queue
Record
Report
Ring
Rulebase backward chaining
Rulebase forward chaining
Sequence
Set
Stack
Stream
String
Tree
Type
Vector
System/Machine
DEUCE
IBM 650
STRETCH
IBM 7090
IBM 705
IBM 704
Whirlwind
Datatron 200
IBM 702
IBM 701
IBM 7070
UNIVAC
UNIVAC II
UNIVAC 1103
UNIVAC 1103A
Bendix G-15
MIDAC
JOHNNIAC
LGP-30
Honeywell 800
IBM 709
LARC
Mercury
ICT 1300
UNIVAC 1105
UNIVAC 1107
UNIVAC 1108
UNIVAC SS80
FERUT
SILLIAC
Datatron 205
KDF9
CSIRAC
ILLIAC IV
Philco 2000
Digital Resolver
DDP-19
Bendix G-20
Burroughs B6700
Burroughs B5500
Burroughs B6500
ACE
IBM1620
CM 1
MasPar
ORDVAC
BRLESC
EDVAC
NAREC
Datatron 204
IME 100-04
UNIVAC III
ILLIAC
Burroughs 205
Burroughs 220
ERA 1103
CYCLONE
WEIZAC
DASK
ILLIAC II
ILLIAC III
UDEC III
NORC
Pegasus
Zebra
Elliott 803
Organisation
U Aix-Marseille
Aberdeen
Aberdeen Proving Ground
ADMIRALTY COMPUTING SERVICE
Aerospace
Allis Chalmers
AMC
ANL
ANSI
ASU
AWRE
BBN
Bell Labs
BFGoodrich
Birkbeck
Burroughs
CalTech
Cambridge
Case IT
CERN
China Lake
CMU
Colorado
Computer Associates
Cornell
Courant
CWI
Dartmouth
DoD
Douglas
Edinburgh
EEL
ETH
GAMM
GE
GE Hanford
Ghent Uni
GM Allison
Harvard
Harwell
Honeywell
IBM
IBM Watson
ICSI, Berkeley
IEEE
Imperial College
Imperial College
Indiana U
Indiana U
Indiana U
Indiana U
Indiana U
Indiana U
INRIA
Iowa
ISO
JPL
Karlsruhe
Kent
King's College
LLNL
Lockheed
Los Alamos Lab
LPI
Manchester
Michigan
Microsoft
Minnesota
MIT
MITRE
NASA
NBS
NIH
NOL
Norwegian CC
NPL
NYU
Oak Ridge
Ohio SO
Ohiu SU
Olivetti
Oxford
PARC
Pittsburgh
Purdue
RAE Farnborough
Ramo Woolridge
RAND
RCA
Redstone Arsenal
RMIT
Royal Armaments
RSRE
Rutgers
SAIL
Sandia Corporation
SDC
SHARE
SRI
Stanford
SUNY
Sussex
Toronto
Trondheim
TRW
Twente
U Arizona
U Maryland College Park
U of London
U Saarlandes
U Waterloo
UA
UC Berkeley
UCLA
UCSD
UNIVAC
University of California
UNSW
UoC Illinois
US Steel
Utah
Weizmann Inst
Westfield College
Westinghouse
Westinghouse Baltimore Defense and Space Center
Wisconsin
Wright Patterson AFB
Wright Patterson AFB
Yale
Zuse
Person
Aho (Alfred Aho)
Aiken (Howard Aiken)
Ait Kaci (Hassan Ait Kaci )
Asai (Kenichi Asai)
Auguston (Mikhail Augustson )
Babbage (Charles Babbage)
Backus (John Backus)
Baker (Henry Baker)
Baker (Charles Baker)
Balzer (Robert M. Balzer)
Barnett (Michael P Barnett)
Barron (David Barron)
Basili (Victor Basili)
Bauer (Fritz Bauer)
Baumann (Richard Baumann)
Bayer (Rudolf Bayer)
Bemer (Bob Bemer)
Bennett (N.W. Bennett)
Bernecky (Robert Bernecky)
Berners-Lee (Tim Berners-Lee)
Best (Sheldon Best)
Bird (Richard Bird)
Birtwistle (Graham Birtwistle)
Blackwell (FBlackwell)
Blasband (Darius Blasband )
Blelloch (Guy Blelloch)
Blum (EK Blum)
Bobrow (D.G. Bobrow)
Boehm (Corrado Boehm )
Booth (Andrew D. Booth)
Booth (Kathleen Booth)
Bosak (Jon Bosak )
Bray (Tim Bray)
Brinch Hansen (Per Brinch Hansen)
Brooker (Tony Brooker)
Brown (W. S. Brown)
Budd (Tim Budd )
Burks (Arthur W. Burks)
Burstall (R Burstall)
Buxton (John Buxton)
Cardelli (Luca Cardelli)
Chambers (Craig Chambers)
Christensen (Carlos Christensen)
Church (Alonzo Church)
Clem (L H Clem)
Clemm (Geoffrey Clemm)
Codd (Ted Codd)
Collins (George E. Collins)
Colmerauer (Alain Colmerauer)
Comer (Douglas Comer)
Cordy (James Cordy)
Cousineau (Guy Cousineau)
Cowlishaw (Michael Cowlishaw )
Cox (Brad J. Cox )
Cray (Seymour Cray)
Culler (Glenn Culler)
Curry (Haskell Curry)
Dahl (Ole-Johan Dahl)
Danvy (Olivier Danvy)
Deutsch (Peter Deutsch)
Dijkstra (Edsger Dijkstra)
Dwyer (B Dwyer)
Earley (Jay Earley)
Eckert (J. Prosper Eckert)
Engeli (Max Engeli)
Ershov (Andrei Ershov)
Evans (Arthur Evans)
Fahlman (Scott E. Fahlman)
Falkoff (Aidan Falkoff)
Farber (David Farber)
Fateman (C.R. Fateman)
Fischer (A. E Fischer)
Fitch (John Fitch)
Fried (BurtonFried)
Garwick (Jan Garwick)
Gawlik (H.G. Gawlik)
Gehani (Narain Gehani)
Geschke (Charles Geschke)
Geurts (Leo Geurts)
Gill (Staney Gill)
Giloi (Wolfgang Giloi)
Giroud (Henri Giroud )
Glennie (Alick Glennie)
Goates (Gary B. Goates)
Goguen (Joseph Goguen)
Goldberg (Richard Goldberg)
Goldberg (Adele Goldberg)
Goldfinger (Roy Goldfinger)
Goos (Gerhard Goos)
Gorn (Saul Gorn)
Green (B.V. Green )
Gries (David Gries)
Griswold (Ralph E. Griswold)
Grogono (Peter Grogono)
Haibt (Lois Haibt)
Halstead (Maurice Halstead)
Hamblin (C L Hamblin)
Hammer (Michael Hammer)
Hansen (Fred Hansen)
Hearn (Anthony Hearn)
Hejlsberg (Anders Hejlsberg)
Herrick (Harlan Herrick)
Hilfinger (Paul Hilfinger)
Hill (Geoff Hill)
Hirata (Masahiro Hirata)
Hoare (Tony Hoare )
Holberton (Betty Holberton)
Holt (Anatol Holt)
Holt (Richard Holt)
Hopper (Grace Hopper)
Howe (Gerry Howe)
Hume (J N Paterson Hume)
Ichbiah (Jean Ichbiah )
Ingalls (D.H. Ingalls)
Ingerman (P Z Ingerman)
Iverson (Kenneth E Iverson )
Jay (C. Barry Jay)
Jorrand (P Jorrand)
Kahn (Kenneth M. Kahn)
Kahn (Gilles Kahn)
Kalina (Elena A. Kalina)
Kay (Alan Kay)
Kemeny (John Kemeny )
Kernighan (Brian Kernighan)
Kiczakes (Gregor Kiczakes)
King (Ada King, Countess Lovelace)
Kiviat (Philip Kiviat)
Kleene (Steven Kleene)
Knuth (Donald E Knuth)
Korolov (Mikhail Korolov)
Kurtz (Thomas Kurtz )
Lagally (K Lagally)
Lampson (Butler Lampson)
Landin (Peter Landin)
Lavrov (SS Lavrov)
Leagus (DC Leagus)
Leavenworth (Burt Leavenworth)
Lesk (Mike Lesk)
Liskov (Barbara Liskov)
Liu (Mengchi Liu)
Logan (J.R. Logan)
Lukaszewicz (Leon Lukaszewicz)
Maes (Patty Maes )
Malenfant (Jacques Malenfant)
Markowitz (Harry Markowitz)
Marti (Jed Marti)
Matsa (Sam Matsa)
Matsumoto (Yukihiro Matsumoto )
Mauchly (John Mauchly)
McCarthy (John McCarthy)
McIlroy (Douglas McIlroy)
Meertens (Lambert Meertens)
Meyer (Bertrand Meyer)
Milner (Robin Milner )
Mitchell (Herbert Mitchell)
Mooers (Calvin Mooers)
Morozov (Anatoliy O. Morozov)
Morris (James Morris)
Myers (Brad Myers)
Napper (RBE Napper)
Nelson (Greg Nelson)
Nelson (Robert Nelson)
Newell (Alan Newell)
Nutt (Roy Nutt)
Nygaard (Kristen Nygaard)
Ousterhout (John Ousterhout )
Palme (Jacob Palme)
Parker (Clinton Parker)
Paul (Manfred Paul)
Pemberton (Steven Pemberton)
Perlis (Alan.J. Perlis )
Pike (Rob Pike)
Popplestone (Robin Popplestone)
Popplewell (Cicely Popplewell)
Pratt (Vaughan Pratt)
Pritsker (Alan Pritsker)
Ramshaw (Walter Ramshaw)
Randell (Brian Randell)
Rees (Jonathan Rees)
Rehof (Jakob Rehof)
Reinfelds (Juris Reinfelds)
Reynolds (John C. Reynolds)
Richards (Martin Richards)
Ritchie (Dennis M. Ritchie )
Roberts (L.G. Roberts)
Rochester (Nathan Rochester)
Rosen (Saul Rosen)
Ross (Douglas Ross)
Rouaix (Francois Rouaix)
Rutishauser (Heinz Rutishauser)
Sadovaya (Elena G. Sadovaya)
Samelson (Karl Samelson)
Sammet (Jean E Sammet)
Sannella (Don Sannella)
Sayre (David Sayre)
Schmitt (William F. Schmitt)
Schwartz (Jules I. Schwartz)
Scott (Dana Scott)
Seitz (R Seitz)
Seitz (R Seitz)
Shaw (Mary Shaw)
Shaw (Cliff Shaw)
Sheridan (Peter Sheridan)
Shura-Bura (MR Shura-Bura)
Silverston (Stefan Silverston)
Simon (Herbert Simon)
Smith (Randall Smith)
Smith (Brian Smith)
Smolka (Gert Smolka)
Srivastava (Divesh Srivastava)
Stark (RH Stark)
Stefik (Mark Stefik)
Stoy (Joe Stoy)
Strachey (Christopher Strachey)
Stroustrup (Bjarne Stroustrup )
Sutherland (Ivan Sutherland)
Symes (Lawrence R Symes)
Tanaka (Jiro Tanaka)
Tanimoto (Steven Tanimoto)
Thompson (Ken Thompson )
Tokoro (Mario Tokoro)
Tonik (A.B. Tonik)
Turanski (William Turanski)
Turing (Alan Turing)
Uhr (LUhr)
Ungar (David Ungar)
van Hentenryck (Pascal van Hentenryck)
van Oortmerssen (Wouter van Oortmerssen)
van Rossum (Guido van Rossum)
Vaucher (Jean Vaucher)
Waite (William Waite)
Warnock ()
Weizenbaum (Joseph Weizenbaum)
Wells (Mark B. Wells)
Wetherall (Charles Wetherall)
Wheeler (David Wheeler)
White (Jon White)
Wilkes (Maurice Wilkes)
Winikoff (Michael Winikoff)
Winograd (Terry Winograd)
Wirth (Nikalus Wirth )
Wood (L H Wood)
Wood (L H Wood)
Wood (L H Wood)
Worsley (Trixie Worsley )
Wulf (Wiliam Wulf)
Yngve (Victor Yngve)
Yntema (Douwe Yntema)
Zelkowitz (Marvin Zelkowitz)
Zemanek (Heinz Zemanek)
Ziller (Irving Ziller)
Zilles (Stephen Zilles)
Zuse (Konrad Zuse)
Country
Australia
Austria
Belgium
Brazil
Canada
China
Czech Republic
Denmark
Estonia
Finland
France
Germany
Greece
Hungary
India
International
Ireland
Israel
Italy
Japan
Korea, Republic of
Latvia
Lebanon
Mexico
Netherlands
New Zealand
Norway
Poland
Portugal
Romania
Russian Federation
Singapore
Slovenia
South Africa
Spain
Sweden
Switzerland
Ukraine
United Kingdom
United States