03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski

from Boston Computation Club · host Max von Hippel

Michael H. Borkowski is an Assistant Professor of Practice in the Department of Computer Science at Purdue University. Before joining Purdue, he earned his Ph.D. from the Department of Computer Science and Engineering at UC San Diego, where he was affiliated with the ProgSys Group. Today Michael joined us to discuss LiquidHaskell, a very cool project that incorporates a kind of refinement types, with SMT-based proofs, into Haskell. This was a really compelling talk and we hope you enjoy it as much as we did!

Episode metadata supplied by the publisher feed · Published Mar 8, 2025

Embed this episode

Attribution link and audio player

NOW PLAYING

03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski

0:00 1:02:10

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

No similar podcasts found.

Frequently Asked Questions

How long is this episode of Boston Computation Club?

This episode is 1 hour and 2 minutes long.

When was this Boston Computation Club episode published?

This episode was published on March 8, 2025.

Can I download this Boston Computation Club episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!