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

Page: https://stenobird.com/podcast/boston-computation-club-4031660/03-08-25-an-introduction-to-liquidhaskell-with-michael-h-borkowski
Text version: https://stenobird.com/podcast/boston-computation-club-4031660/03-08-25-an-introduction-to-liquidhaskell-with-michael-h-borkowski.md
Podcast: [Boston Computation Club](https://stenobird.com/podcast/boston-computation-club-4031660)
Published: 2025-03-08T23:44:14+00:00
Episode link: https://podcasters.spotify.com/pod/show/bostoncc/episodes/030825-An-Introduction-to-LiquidHaskell-with-Michael-H--Borkowski-e2vt3n3
Audio file: https://anchor.fm/s/5eee01ac/podcast/play/99568803/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2025-2-8%2F49a2109f-a023-08bf-5fff-e8b193bc5238.m4a
Processing state: not_requested
JSON: https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/03-08-25-an-introduction-to-liquidhaskell-with-michael-h-borkowski
Duration seconds: 3730

## Resource

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!

## Actions

- request_transcript: `POST https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/03-08-25-an-introduction-to-liquidhaskell-with-michael-h-borkowski/transcription-requests` — Idempotently request low-priority transcript generation for this episode.
- read_markdown: `GET https://stenobird.com/podcast/boston-computation-club-4031660/03-08-25-an-introduction-to-liquidhaskell-with-michael-h-borkowski.md` — Read the agent-friendly Markdown representation of this episode resource.

A page view does not enqueue transcription. Agents should invoke `request_transcript` explicitly when they need this episode processed.

## Transcript

Full transcripts are not published on public pages unless there is a clear rights basis.