Archive of category 'software engineering'

• Jan 21, 2025 • software engineering, frontend, optics

  Optics for UI 1: Deconstructing React with Parametrised Lenses

• Jan 13, 2025 • software engineering, dependent types, compiler

  Programming Pipelines Using Dependent Types

• Apr 8, 2024 • software engineering, dependent lenses, parsing, compiler

  Modular Error Reporting with Dependent Lenses