310:
95:, with a bachelor's degree in computer science. At Rice, she became interested in programming languages through an undergraduate research project with
295:
275:
280:
270:
305:
290:
300:
54:
285:
226:
79:
123:
115:
265:
75:
8:
246:
199:
119:
100:
96:
175:
25:
311:
University of
Pennsylvania Department of Computer and Information Science faculty
92:
250:
108:
71:
67:
143:
259:
222:
87:
103:
for her graduate studies, completing her Ph.D. in 2002. Her dissertation,
63:
122:
for benchmarking type systems of programming languages. Weirich won the
241:
148:
114:
Weirich's work on type inference has been incorporated into the
111:. She joined the University of Pennsylvania faculty in 2002.
37:
34:
43:
55:
46:
31:
62:) is an American computer scientist specializing in
40:
28:
257:
78:. She is a professor of computer science at the
144:"Engineering in 100 Seconds: Stephanie Weirich"
124:SIGPLAN Robin Milner Young Researcher Award
258:
170:
168:
166:
118:. She has also been a leader of the
13:
296:University of Pennsylvania faculty
276:American women computer scientists
216:
206:, Carnegie Mellon University, 2018
200:"Interview with Stephanie Weirich"
192:
14:
322:
235:
163:
281:Programming language researchers
24:
204:People of Programming Languages
136:
1:
227:Mathematics Genealogy Project
129:
271:American computer scientists
7:
306:21st-century American women
16:American computer scientist
10:
327:
80:University of Pennsylvania
291:Cornell University alumni
301:American women academics
249:publications indexed by
116:Glasgow Haskell Compiler
286:Rice University alumni
105:Programming with Types
76:functional programming
107:, was supervised by
120:POPLmark challenge
101:Cornell University
97:Matthias Felleisen
85:Weirich graduated
247:Stephanie Weirich
223:Stephanie Weirich
20:Stephanie Weirich
318:
229:
220:
214:
213:
212:
211:
196:
190:
189:
188:
187:
182:
177:Curriculum vitae
172:
161:
160:
158:
156:
140:
58:
53:
52:
49:
48:
45:
42:
39:
36:
33:
30:
326:
325:
321:
320:
319:
317:
316:
315:
256:
255:
238:
233:
232:
221:
217:
209:
207:
198:
197:
193:
185:
183:
180:
174:
173:
164:
154:
152:
142:
141:
137:
132:
99:. She moved to
93:Rice University
88:magna cum laude
72:dependent types
56:
27:
23:
17:
12:
11:
5:
324:
314:
313:
308:
303:
298:
293:
288:
283:
278:
273:
268:
254:
253:
251:Google Scholar
244:
237:
236:External links
234:
231:
230:
215:
191:
162:
134:
133:
131:
128:
109:Greg Morrisett
68:type inference
15:
9:
6:
4:
3:
2:
323:
312:
309:
307:
304:
302:
299:
297:
294:
292:
289:
287:
284:
282:
279:
277:
274:
272:
269:
267:
266:Living people
264:
263:
261:
252:
248:
245:
243:
240:
239:
228:
224:
219:
205:
201:
195:
179:
178:
171:
169:
167:
151:
150:
145:
139:
135:
127:
125:
121:
117:
112:
110:
106:
102:
98:
94:
91:in 1996 from
90:
89:
83:
81:
77:
73:
69:
65:
61:
60:
51:
21:
218:
208:, retrieved
203:
194:
184:, retrieved
176:
153:. Retrieved
147:
138:
113:
104:
86:
84:
19:
18:
64:type theory
260:Categories
210:2019-09-05
186:2019-09-05
130:References
242:Home page
126:in 2016.
225:at the
149:YouTube
155:1 July
74:, and
181:(PDF)
157:2020
57:WYRE
59:-ik
262::
202:,
165:^
146:.
82:.
70:,
66:,
35:aɪ
159:.
50:/
47:k
44:ɪ
41:r
38:ə
32:w
29:ˈ
26:/
22:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.