Peter Thiemann
Peter Thiemann
Professor of Computer Science, University of Freiburg
Bestätigte E-Mail-Adresse bei informatik.uni-Freiburg.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Type analysis for JavaScript
SH Jensen, A Møller, P Thiemann
International Static Analysis Symposium, 238-255, 2009
3902009
Towards a type system for analyzing JavaScript programs
P Thiemann
European Symposium On Programming, 408-422, 2005
2022005
The marriage of effects and monads
P Wadler, P Thiemann
ACM Transactions on Computational Logic (TOCL) 4 (1), 1-32, 2003
1262003
WASH/CGI: Server-side web scripting with sessions and typed, compositional forms
P Thiemann
International Symposium on Practical Aspects of Declarative Languages, 192-208, 2002
1142002
An implementation of session types
M Neubauer, P Thiemann
International Symposium on Practical Aspects of Declarative Languages, 56-70, 2004
1022004
Interprocedural analysis with lazy propagation
SH Jensen, A Møller, P Thiemann
International Static Analysis Symposium, 320-339, 2010
792010
A typed representation for HTML and XML documents in Haskell
P Thiemann
Journal of functional programming 12 (5), 435, 2002
772002
Cogen in six lines
PJ Thiemann
ACM SIGPLAN Notices 31 (6), 180-189, 1996
771996
Single and loving it: Must-alias analysis for higher-order languages
S Jagannathan, P Thiemann, S Weeks, A Wright
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
721998
Grundlagen der funktionalen Programmierung
P Thiemann
Springer-Verlag, 2013
672013
Recency types for analyzing scripting languages
P Heidegger, P Thiemann
European conference on Object-oriented programming, 200-224, 2010
662010
An embedded domain-specific language for type-safe server-side web scripting
P Thiemann
ACM Transactions on Internet Technology (TOIT) 5 (1), 1-46, 2005
582005
From sequential programs to multi-tier applications by program transformation
M Neubauer, P Thiemann
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
582005
Gradual security typing with references
L Fennell, P Thiemann
2013 IEEE 26th Computer Security Foundations Symposium, 224-239, 2013
492013
JavaGI: Generalized Interfaces for Java
S Wehr, R Lämmel, P Thiemann
European Conference on Object-Oriented Programming, 347-372, 2007
482007
Combinators for program generation
P Thiemann
Journal of Functional Programming 9 (5), 483-525, 1999
481999
Optimized java binary and virtual machine for tiny motes
F Aslam, L Fennell, C Schindelhauer, P Thiemann, G Ernst, E Haussmann, ...
International Conference on Distributed Computing in Sensor Systems, 15-30, 2010
462010
Two for the price of one: Composing partial evaluation and compilation
M Sperber, P Thiemann
Proceedings of the ACM SIGPLAN 1997 conference on Programming language …, 1997
441997
Grammar-based analysis of string expressions
P Thiemann
Proceedings of the 2005 ACM SIGPLAN international workshop on Types in …, 2005
432005
Contract-driven testing of JavaScript code
P Heidegger, P Thiemann
International Conference on Modelling Techniques and Tools for Computer …, 2010
412010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20