Stephanie Weirich's Interviews
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
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
Podcasts with Stephanie Weirich
Possible Pairings
You might also be interested in
Adam Gordon Bell
Software Developer
David Christiansen
Computer scientist
Jim Blandy
Software Developer
Jason Gauci
Software Developer
Edwin Brady
Computer scientist
Jeff Meyerson
Media Personality
Daniel P. Friedman
Computer scientist
Steven Proctor
Software Developer
Patrick Wheeler
Software Developer
Cory Doctorow
Novelist
Rúnar Bjarnason
Software Developer
Bartosz Milewski
Computer scientist
Shout-outs
Add shout-out