Closure-Free Functional Programming in a Two-Level Type Theory
Details
*** PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY ***
Let's read Kovács's Closure-Free Functional Programming in a Two-Level Type Theory (https://andraskovacs.github.io/pdfs/2ltt_icfp24.pdf), then get together to discuss it.
We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.
AI summary
By Meetup
Online reading group for programming-language researchers; read a paper on closure-free FP in a two-level type theory and discuss its core ideas.
AI summary
By Meetup
Online reading group for programming-language researchers; read a paper on closure-free FP in a two-level type theory and discuss its core ideas.