Quote by Barbara Liskov

"Type checking is a form of conversation between the programmer and the machine about intent."

Barbara Liskov
Computer Scientist American Born 1939 (age 87)

More from Barbara Liskov