Tootfinder

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

No exact results. Similar results found.
@patrikja@functional.cafe
2025-10-12 03:55:09

Next TyDe talk ongoing:
Towards a Performance Comparison of Syntax and Type-Directed NbE (Extended Abstract)
Chester Gould University of British Columbia, William J. Bowman University of British Columbia
share.google/79PnZU3mzT6VrYgFi

First slide of Towards a Performance Comparison of Syntax and Type-Directed Judgmental Equality