BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ
News Articles Presentations Podcasts Guides

Topics

Choose your language

InfoQ Dev Summit Boston - image
InfoQ Dev Summit Boston

Learn how senior software developers are solving the challenges you face. Register now with early bird tickets.

 InfoQ Dev Summit Munich - image
InfoQ Dev Summit Munich

Learn practical solutions to today's most pressing software challenges. Register now with early bird tickets.

 QCon San Francisco - image
QCon San Francisco

Explore insights, real-world best practices and solutions in software development & leadership. Register now.

 QCon AI New York - image
QCon AI New York

Learn how leading engineering teams run AI in production-reliably, securely, and at scale. Register now.

InfoQ Homepage Interviews Stephanie Weirich on Dependent Typing, Extending Haskell, Type System Research

Development

Stephanie Weirich on Dependent Typing, Extending Haskell, Type System Research

28:53

Bio

Stephanie Weirich has been a functional programmer since 1993 and a Penn faculty member since 2002. She's crazy about types. GitHub: sweirich Twitter: @fancytypes

About the conference

Code Mesh, the Alternative Programming Conference, focuses on promoting useful non-mainstream technologies to the software industry. The underlying theme is "the right tool for the job", as opposed to automatically choosing the tool at hand.

Feb 05, 2016

Interview with

by

This content is in the Code Mesh topic

Related Topics:
BT