Statistics
Publications
8
Citations
570
H-Index
8
Active since
2003
Steffen Jost is an author at Ludwig-Maximilians-Universität München specializing in computer science, computing, and programming languages.
Publications per year
2003–2022
8
8
Type-Based Cost Analysis for Lazy Functional Languages
Steffen Jost, Pedro Vasconcelos, Mário Florido et al. · Journal of Automated Reasoning · 2017 · 22 citations
1–5 of 8