Jan van Brügge -

Registered user since Tue 12 Nov 2024

Name:Jan van Brügge

Country:United Kingdom

Affiliation:Heriot-Watt University

X (Twitter): https://x.com/jvanbruegge

GitHub: https://github.com/jvanbruegge

Contributions

2025

POPL

Author of Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings within the POPL-track
Committee Member in Student Volunteers

2024

Haskell

Author of Liquid Amortization - Proving amortized complexity with LiquidHaskell (Functional Pearl) within the Haskell 2024-track