Stephanie Weirich

Stephanie Weirich

www.seas.upenn.edu
2 Interviews

Stephanie Weirich's Interviews

Adam Gordon Bell & Stephanie Weirich 13 Jun 2018 • EN

Tech Talk: Dependent Types in Haskell with Stephanie Weirich

Tech Talks are in-depth technical discussions. At Strange loop 2017, a wandered into a talk where I saw some code that deeply surprised me. The code could have been python if you squinted, passing dictionaries around, no type annotations anywhere. Yet key look up in the dictionary was validated at compile time. It was

58 min
00:00
58:44
No file found
David Christiansen & Stephanie Weirich 18 Apr 2015 • EN

Episode 4: Stephanie Weirich on Zombie and Dependent Haskell

In our fourth episode, we speak with Stephanie Weirich from the University of Pennsylvania on the Zombie language and Dependent Haskell. Stephanie is a long-time contributor to Haskell, having been involved in the design and implementation of features such as generalized algebraic datatypes, higher-rank polymorphism, t

1 min
00:00
00:00
No file found

Podcasts with Stephanie Weirich

Shout-outs

Add shout-out

Your shout-out can appear here. Consider telling everyone why Stephanie Weirich should be followed.

Possible Pairings

You might also be interested in