| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Language | Creator | Year | Notes/Resources | ||||||||||||||||||||||
2 | COBOL (+predecessors) | Grace Hopper | 1958 | "tiny cobol": http://tiny-cobol.sourceforge.net/ | ||||||||||||||||||||||
3 | CLU | Barbara Liskov | 1974 | http://www.pmg.lcs.mit.edu/CLU.html | ||||||||||||||||||||||
4 | Alphard | Mary Shaw (co-creator) | 1976 | http://www.cs.cmu.edu/~Compose/VerificationofAlphard1976.pdf | ||||||||||||||||||||||
5 | Smalltalk-80 | Adele Goldberg (co-creator) | 1980 | http://www.smalltalk.org/main/ | ||||||||||||||||||||||
6 | BBC-BASIC | Sophie Wilson | 1982 | https://en.wikipedia.org/wiki/BBC_BASIC | ||||||||||||||||||||||
7 | ARM instruction set | Sophie Wilson | 1983 | |||||||||||||||||||||||
8 | Durra | Jeanette Wing | 1986 | http://www.cs.cmu.edu/~wing/publications/BarbacciWing87b.pdf | ||||||||||||||||||||||
9 | Coq | Christine Paulin-Mohring (co-creator) | 1991 | https://coq.inria.fr/about-coq | ||||||||||||||||||||||
10 | Gödel | Patricia Hill (co-creator) | 1992 | http://www.scs.leeds.ac.uk/hill/GOEDEL/expgoedel.html | ||||||||||||||||||||||
11 | PEPA | Jane Hillston | 1994 | http://www.dcs.ed.ac.uk/pepa/about/ | theoretical paper on synchronization: http://www.dcs.ed.ac.uk/pepa/synchronisation.pdf | |||||||||||||||||||||
12 | Dylan | Gail Zacharias (co-creator) | 1996 | http://opendylan.org/books/drm/Title | ||||||||||||||||||||||
13 | Squeak | Adele Goldberg (co-creator) | 1996 | http://wiki.squeak.org/squeak | ||||||||||||||||||||||
14 | Moby | Kathleen Fisher (co-creator) | 1998 | http://moby.cs.uchicago.edu/ | ||||||||||||||||||||||
15 | Beluga | Brigitte Pientka | 2008 | http://complogic.cs.mcgill.ca/beluga/ | ||||||||||||||||||||||
16 | CZ | Donna Malayeri | 2009 | http://www.cs.cmu.edu/~./donna/public/oopsla09.pdf | ||||||||||||||||||||||
17 | ckanren | Claire Alvis (co-creator) | 2011 | https://github.com/calvis/cKanren | ||||||||||||||||||||||
18 | isla | Mary Rose Cook | 2012 | http://islalanguage.org/ | ||||||||||||||||||||||
19 | Jeeves | Jean Yang | 2012 | http://projects.csail.mit.edu/jeeves/about.php | ||||||||||||||||||||||
20 | Hopscotch | Samantha John | 2013 | http://www.gethopscotch.com/ | ||||||||||||||||||||||
21 | Noether | Daira Hopwood | 2013 | https://groups.google.com/forum/?fromgroups#!forum/noether-dev | ||||||||||||||||||||||
22 | Purr | Quildreen Motta | 2013 | https://github.com/robotlolita/purr | ||||||||||||||||||||||
23 | Rosette | Emina Torlak | 2013 | http://emina.github.io/rosette/index.html | ||||||||||||||||||||||
24 | Trellys/Zombie | Stephanie Weirich | 2014 | http://www.cis.upenn.edu/~sweirich/papers/popl14-trellys.pdf | ||||||||||||||||||||||
25 | Emily | Andi Mcc | 2015 | emilylang.org | ||||||||||||||||||||||
26 | Tulip | Jeanine Adkisson | 2015 | http://www.jneen.net/posts/2015-03-01-tulip-language | ||||||||||||||||||||||
27 | Ceptre | Chris Martens | 2015 | github.com/chrisamaphone/interactive-lp | ||||||||||||||||||||||
28 | ||||||||||||||||||||||||||
29 | partial/out of order entries: | (if you can help me fill these in, tell me on Twitter: @chrisamaphone) | ||||||||||||||||||||||||
30 | ARC assembler | Kathleen Booth | 1948? | http://en.wikipedia.org/wiki/Kathleen_Booth | ||||||||||||||||||||||
31 | Alpha/early work on FORTRAN /program optimization pioneer | Frances Allen | ||||||||||||||||||||||||
32 | Early work on FORTRAN | Lois Haibt | http://en.wikipedia.org/wiki/Lois_Haibt | also worked on petri nets! | ||||||||||||||||||||||
33 | BINAC | Betty Snyder | 1949 | |||||||||||||||||||||||
34 | SORT/MERGE | Betty Snyder | 1951 | |||||||||||||||||||||||
35 | Agda | Catarina Coquand (co-creator) | ||||||||||||||||||||||||
36 | Maude | Carolyn Talcott (co-creator) | ||||||||||||||||||||||||
37 | XML-QL/XQuery | Mary F. Fernandez | ||||||||||||||||||||||||
38 | LOGO | Cynthia Solomon (co-creator) | http://en.wikipedia.org/wiki/Cynthia_Solomon | |||||||||||||||||||||||
39 | Universal Systems Language | Margaret Hamilton | https://en.wikipedia.org/wiki/Universal_Systems_Language | |||||||||||||||||||||||
40 | PADS | Kathleen Fisher and Mary F. Fernandez (co-designers) | ||||||||||||||||||||||||
41 | Coccinelle | Julia Lawall | ||||||||||||||||||||||||
42 | ||||||||||||||||||||||||||
43 | ||||||||||||||||||||||||||
44 | ||||||||||||||||||||||||||
45 | ||||||||||||||||||||||||||
46 | ||||||||||||||||||||||||||
47 | ||||||||||||||||||||||||||
48 | ||||||||||||||||||||||||||
49 | ||||||||||||||||||||||||||
50 | ||||||||||||||||||||||||||
51 | ||||||||||||||||||||||||||
52 | ||||||||||||||||||||||||||
53 | ||||||||||||||||||||||||||
54 | ||||||||||||||||||||||||||
55 | ||||||||||||||||||||||||||
56 | ||||||||||||||||||||||||||
57 | ||||||||||||||||||||||||||
58 | ||||||||||||||||||||||||||
59 | ||||||||||||||||||||||||||
60 | ||||||||||||||||||||||||||
61 | ||||||||||||||||||||||||||
62 | ||||||||||||||||||||||||||
63 | ||||||||||||||||||||||||||
64 | ||||||||||||||||||||||||||
65 | ||||||||||||||||||||||||||
66 | ||||||||||||||||||||||||||
67 | ||||||||||||||||||||||||||
68 | ||||||||||||||||||||||||||
69 | ||||||||||||||||||||||||||
70 | ||||||||||||||||||||||||||
71 | ||||||||||||||||||||||||||
72 | ||||||||||||||||||||||||||
73 | ||||||||||||||||||||||||||
74 | ||||||||||||||||||||||||||
75 | ||||||||||||||||||||||||||
76 | ||||||||||||||||||||||||||
77 | ||||||||||||||||||||||||||
78 | ||||||||||||||||||||||||||
79 | ||||||||||||||||||||||||||
80 | ||||||||||||||||||||||||||
81 | ||||||||||||||||||||||||||
82 | ||||||||||||||||||||||||||
83 | ||||||||||||||||||||||||||
84 | ||||||||||||||||||||||||||
85 | ||||||||||||||||||||||||||
86 | ||||||||||||||||||||||||||
87 | ||||||||||||||||||||||||||
88 | ||||||||||||||||||||||||||
89 | ||||||||||||||||||||||||||
90 | ||||||||||||||||||||||||||
91 | ||||||||||||||||||||||||||
92 | ||||||||||||||||||||||||||
93 | ||||||||||||||||||||||||||
94 | ||||||||||||||||||||||||||
95 | ||||||||||||||||||||||||||
96 | ||||||||||||||||||||||||||
97 | ||||||||||||||||||||||||||
98 | ||||||||||||||||||||||||||
99 | ||||||||||||||||||||||||||
100 |