The following pages link to (Q2729056):
Displaying 8 items.
- Constructing language processors with algebra combinators (Q608238) (← links)
- Programming with C++ concepts (Q608245) (← links)
- Generic programming in 3D (Q923888) (← links)
- Improving type error reporting for type classes (Q2163154) (← links)
- Type-Safe Code Transformations in Haskell (Q2866331) (← links)
- Language-Based Program Verification via Expressive Types (Q2866340) (← links)
- Unified Syntax with Iso-types (Q3179296) (← links)
- CoLoSS: The Coalgebraic Logic Satisfiability Solver (Q4982113) (← links)
