Login / Signup
Patrick Bahr
ORCID
Publication Activity (10 Years)
Years Active: 2010-2024
Publications (10 Years): 20
Top Topics
Data Types
Partial Order
Rewriting Systems
Knuth Bendix
Top Venues
Proc. ACM Program. Lang.
CoRR
J. Funct. Program.
Haskell
</>
Publications
</>