Cited By
View all- Yamamoto NUeda K(2024)Grammar-based Pattern Matching and Type Checking for Difference Data StructuresProceedings of the 26th International Symposium on Principles and Practice of Declarative Programming10.1145/3678232.3678243(1-13)Online publication date: 9-Sep-2024