Abstract: Object-oriented design patterns offer a structural and behavioral ... These results can later be used as reference for other works focusing on the C# programming language.

Pattern matching of algebraic data types (ADTs) is a standard feature in typed functional programming languages, but it is well known that it interacts poorly with abstraction. While several partial ...