BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ
Register Sign in

Unlock the full InfoQ experience

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources.

Log In
or

Don't have an InfoQ account?

Register
News Articles Presentations Podcasts Guides

Topics

Choose your language

AI Security & Privacy Engineering Certification

Secure and govern production AI systems, from sensitive data to guardrails, evals, and audits.
Online. Register now.

AI Engineering Certification

Production AI calls on retrieval, agents, evals, and infrastructure, checked with peers.
Online. Register Now.

Architect Certification

Distributed systems, decentralized decisions, platform engineering, and AI architecture.
Online. Register Now.

QCon San Francisco

What's working across AI, architecture, and leadership, from the teams doing it.
Register. Early bird ends July 14.

QCon London

What early-adopter teams have proven in production, across 15 engineering tracks.
Register. Early bird ends July 14.

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

This content is in the Functional Programming topic

Related Topics:
BT