"MatchPy: A Pattern Matching Library."

Manuel Krebber, Henrik Barthels, Paolo Bientinesi (2017)

Details and statistics

DOI: 10.25080/SHINMA-7F4C6E7-00B

access: open

type: Conference or Workshop Paper

metadata version: 2024-02-12