Cybercat Institute
About Projects People Blog Contact us

Archive of category 'software engineering'

  • Mar 13, 2025 • software engineering, Category Theory, Dependent Lenses, dependent types, compiler

    Pipelines Part 2: Categorical Pipelines

  • 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

© Cybercat Institute - Powered by Jekyll & whiteglass - Subscribe via RSS