dsl Pages tagged with dsl dsl Designing a topology DSL for NoC synthesis 2026-03-14 A declarative language for network-on-chip topology that compiles to RTL. Typed Tagless Final Notes on the typed tagless final approach in programming language theory