Archive of category 'programming languages'

• Jan 3, 2025 • programming languages

  Foundations of Bidirectional Programming IV: Running Forwards and Running Backwards

• Sep 12, 2024 • programming languages

  Foundations of Bidirectional Programming III: The Logic of Lenses

• Sep 5, 2024 • programming languages

  Foundations of Bidirectional Programming II: Negative Types

• Aug 26, 2024 • programming languages

  Foundations of Bidirectional Programming I: Well-Typed Substructural Languages