Here's the list:
1. ARC assembly: Kathleen Booth, 1950
"One of the very first assembly languages was created by Kathleen Booth in the U.K. The language was written for the ARC (Automatic Relay Calculator) computer, which Booth also helped to design and build."
2. Address: Kateryna Yushchenko, 1955
"the first to support indirect addressing, widely used in the Soviet Union for more than 20 years"
3. COBOL: Grace Hopper, 1959
"Hopper, while working on the UNIVAC system, had created the first compiler, known as A-0, and a number of other early high-level programming languages, such as ARITH-MATIC and B-0, also known as FLOW-MATIC"
4. FORMAC: Jean Sammet, 1962
"(FORmula MAnipulation Compiler), an extension of FORTRAN that was able to perform algebraic manipulations, became the first widely used language for doing symbolic mathematical computations."
5. Logo: Cynthia Solomon, 1967
"Solomon helped to develop this new language, named Logo, and guided its refinement by teaching it to 7th graders in the late 1960s. Solomon eventually joined M.I.T.’s Artificial Intelligence Lab and later oversaw the creation of Apple’s Logo implementation."
6. CLU: Barbara Liskov, 1974
"Through CLU Liskov introduced (or popularized) concepts such as abstract data types, iterators, and parallel assignment... CLU was never widely used, but it was hugely influential"
7. Smalltalk: Adele Goldberg, 1980
"Adele came up with a brilliant approach to teaching Smalltalk as an object-oriented language: the Joe Book. ... Adele came up with another brilliant stroke ... an intermediary between the vague ideas about the problem and the very detailed writing and debugging that had to be done to get it to run ... called design templates."
8. BBC BASIC: Sophie Wilson, 1981
"a new version of BASIC for the BBC Micro in under 16KB, that included features like named procedures and functions and IF-THEN-ELSE structures."
9. Coq: Christine Paulin-Mohring, 1991
"a new implementation based on the Calculus of Inductive Constructions and the language was renamed to Coq, in honor of Coquand. In addition to mathematical theorems, the Coq Proof Assistant System, as it known, is also used for software certification."