Lean Ermantraut

Orcid: 0000-0003-2609-9259

According to our database¹, Lean Ermantraut authored at least 3 papers in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

The Algebra of Patterns (Extended Version).

[DOI]

CoRR, April, 2025

The Algebra of Patterns - Rocq Proofs (Artifact).

[DOI]

Dagstuhl Artifacts Ser., 2025

The Algebra of Patterns.

[DOI]

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025