to programming languages, rich type systems were pioneered in the period between the development of Algol and the establishment of structured programming (0)

by Closer