Login / Signup
David Sabel
ORCID
Publication Activity (10 Years)
Years Active: 2007-2023
Publications (10 Years): 16
Top Topics
Rewriting Systems
Lazy Evaluation
Functional Language
Lambda Calculus
Top Venues
PPDP
CoRR
Software Engineering (Workshops)
WPTE@RTA/TLCA
</>
Publications
</>