Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@patrikja@functional.cafe
2025-10-14 07:04:32

@… on stage: Type Universes as Kripke Worlds
Paulette Koronkevich, William J. Bowman @…

Universes as Kripke Worlds Paulette Koronkevich, William J. Bowman
Slide with stick figure liking "pure functional languages" and "simple mutable state"