Concepedia

Peter Thiemann

PT

43

Publications

1.1K

Citations

21

H-Index

1995

Active since

Affiliations

University of Freiburg(Current)

University of Tübingen

University of Lisbon

University of Fribourg

Peter Thiemann is an author at University of Freiburg specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSoftware AnalysisAutomated ReasoningSoftware EngineeringLanguageLinguistics

Publications per year

1995–2022

43

Publications

43

The marriage of effects and monads

Philip Wadler, Peter Thiemann · ACM Transactions on Computational Logic · 2003 · 110 citations

Algebraic Logic, Effect System, Engineering +15

Cogen in six lines

Peter Thiemann · 1996 · 63 citations

Engineering, Program Generators, Program Analysis +13

Single and loving it

Suresh Jagannathan, Peter Thiemann, Stephen Weeks et al. · 1998 · 56 citations · Full text

Engineering, Compiler Technology, Computer Architecture +21

A typed representation for HTML and XML documents in Haskell

Peter Thiemann · Journal of Functional Programming · 2002 · 53 citations · Full text

Engineering, Visual Programming Language, Software Engineering +18

From sequential programs to multi-tier applications by program transformation

Matthias Neubauer, Peter Thiemann · 2005 · 52 citations

Software Maintenance, Engineering, Multiple Tiers +20

Rows per page

1–5 of 43