Cybercat Institute
About Projects People Blog Contact us

Archive of category 'compiler'

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

    Pipelines Part 2: Categorical Pipelines

  • 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