9 citations · 13 across the 8 of their papers we have counts for
1 paper · 1 filter
Alexander Bau, Johannes Waldmann
We present a functional programming language for specifying constraints over tree-shaped data. The language allows for Haskell-like algebraic data types and pattern matching. Our c…