Stephan Spahn

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 2

Top Topics

Inductive Inference

Semistructured Data

String Matching

Precise Definition

Top Venues

Proc. ACM Program. Lang.

Publications

Aaron Stump, Christopher Jenkins, Stephan Spahn, Colin McDonald
Strong functional pearl: Harper's regular-expression matcher in Cedille. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Neil Ghani, Conor McBride, Fredrik Nordvall Forsberg, Stephan Spahn
Variations on Inductive-Recursive Definitions. MFCS (2017)