YouTube video by ACM SIGPLAN
[POPL'25] Formalising Graph Algorithms with Coinduction
POPL Talk on "Formalising Graph Algorithms with Coinduction"
youtu.be/sgNT2w_f-o4
Paper here: doisinkidney.com/posts/2024-1...
04.05.2025 09:14 — 👍 4 🔁 1 💬 0 📌 0
Solitary, poor, nasty, brutish and short.
Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
A podcast about the airport books that captured our hearts and ruined our minds.
Patreon: patreon.com/ifbookspod
Merch: ifbookspod.dashery.com
ASMR-esque RPG YouTube channel that reviews, deep-dives and explainers, co-host of The Gaming Creepshow podcast, Mithral-rated Miskatonic Repository writer, forever Delta Green Handler, Everton fan, gamer
Thanks to impermanence all things are possible
Working on a book on topos theory
When the going gets weird the weird turn pro.
Director of EA DC linktr.ee/andymasley
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Follow me to receive notifications via DM whenever you're added to a starter pack, block list, feed or when someone blocks your account.
Follow @unsub.blocks.listifications.app to opt out of direct block notifications.
Check out @posts.listifications.app
No longer in good standing with the New York State bar
My newsletter: StringinaMaze.net
Interested in Programming Languages and Systems.
Decoding the Gurus Podcast.
Email at: decodingthegurus@gmail.com.
Support the pod at: https://patreon.com/DecodingTheGurus
Librarian & Historian. Twitter migrant.
Researching Slavery - Memory - Power.
Blog > https://medium.com/@Limerick1914/
hcommons > https://hcommons.org/members/liamhogan/
Author, very professional. Buy my extremely good book at www.mammybook.com
Host of the YouTube channel, Snazzy Labs! I talk about tech.
I’m @SnazzyQ most other places.
Law lecturer. Political theory, constitutions, republicanism, France. Dad of two. An 'autism parent'. Interested in athletics, politics, wine.
Husband, dad, cyclist, OCaml h4x0r, Cornell CS professor (in that order)
![[POPL'25] Formalising Graph Algorithms with Coinduction](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:bsysd5n2gcvzy3zuypo6clbb/bafkreigzdw6xmnf5p7mz4mjyoq3w4kob6z6miercu6cpacqpylapo3giqe@jpeg)
