Name: Closure-Free Functional Programming in a Two-Level Type Theory
Start: 2026-01-11T12:00:00-08:00
End: 2026-01-11T14:00:00-08:00

\*\*\* 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](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.

Adrian King

SF Types, Theorems, and Programming Languages

Technology

New Technology

Software Engineering

Computer Programming

Programming Languages

Functional Programming

Mathematics

Software QA and Testing

Test Automation

Closure-Free Functional Programming in a Two-Level Type Theory

Share

What does your past 12 months of Meetup reveal about you? It's time to relive your personal highlights!

Don't miss your <highlight>2025 recap!</highlight>

SF Types, Theorems, and Programming Languages

Closure-Free Functional Programming in a Two-Level Type Theory

SF Types, Theorems, and Programming Languages

Details

Members are also interested in