Login / Signup

Idris TyRE: a dependently typed regex parser.

Ohad KammarKatarzyna Marek
Published in: CoRR (2023)
Keyphrases