Search Results

Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021