Jan van Brügge

According to our database, Jan van Brügge authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings.

Jan van Brügge, James McKinna, Andrei Popescu, Dmitriy Traytel

Proc. ACM Program. Lang., 2025

2024

Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl).

Jan van Brügge

Proceedings of the 17th ACM SIGPLAN International Haskell Symposium, 2024