Peter Thiemann
Author
Alternate names P.J. Thiemann, Peter J. Thiemann, Peter Thiemann, P. Thiemann
Institution University of Freiburg
Past institutions University of Freiburg, South Westphalia University of Applied Sciences, Association for Computing Machinery, Indian Institute of Technology Jodhpur, University of Tübingen +5 more
ORCID: Yes
H-index: 26
I10-index: 70
Works count: 316
Citations count: 2,921
Type Analysis for JavaScript
2009 · Simon Holm Jensen, Anders Møller, et al. · Lecture notes in computer science
Towards a Type System for Analyzing JavaScript Programs
2005 · Peter Thiemann · Lecture notes in computer science
The marriage of effects and monads
2003 · Philip Wadler, Peter Thiemann · ACM Transactions on Computational Logic