#

single-assignment-c

Here are 2 public repositories matching this topic...

JordyAaldering / paper-flattening

Flattening Combinations of Arrays and Records

records program-transformation array-programming single-assignment-c nested-data-structures

Updated Apr 14, 2026
TeX

JordyAaldering / paper-patterns

Type Patterns: Pattern Matching on Shape-Carrying Array Types

dependent-types pattern-matching partial-evaluation rank-polymorphism array-programming type-pattern shape-pattern type-constraints single-assignment-c hybrid-types

Updated Mar 31, 2026
TeX

Add this topic to your repo

To associate your repository with the single-assignment-c topic, visit your repo's landing page and select "manage topics."