Skip to content

Non-linear Pattern Matching with Backtracking for Non-free Data Types.

Satoshi Egi, Yuichi Nishiwaki

VenueBAPLAS
Year2018
ProceedingsAPLAS

Browse the full APLAS paper archive.