Stephan Spahn

Affiliations:

According to our database¹, Stephan Spahn authored at least 3 papers between 2017 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

Strong functional pearl: Harper's regular-expression matcher in Cedille.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

2018

Axiomatizations of Compositional Inductive-Recursive Definitions

[BibT_eX]

[DOI]

PhD thesis, 2018

2017

Variations on Inductive-Recursive Definitions.

[BibT_eX]

[DOI]

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017