Theo dõi
Peter Thiemann
Peter Thiemann
Professor of Computer Science, University of Freiburg
Email được xác minh tại informatik.uni-Freiburg.de - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Type analysis for JavaScript
SH Jensen, A Møller, P Thiemann
International Static Analysis Symposium, 238-255, 2009
5792009
Towards a type system for analyzing JavaScript programs
P Thiemann
Programming Languages and Systems: 14th European Symposium on Programming …, 2005
2122005
The marriage of effects and monads
P Wadler, P Thiemann
ACM Transactions on Computational Logic (TOCL) 4 (1), 1-32, 2003
1532003
An implementation of session types
M Neubauer, P Thiemann
Practical Aspects of Declarative Languages: 6th International Symposium …, 2004
1192004
WASH/CGI: Server-side web scripting with sessions and typed, compositional forms
P Thiemann
Practical Aspects of Declarative Languages: 4th International Symposium …, 2002
1112002
Interprocedural analysis with lazy propagation
SH Jensen, A Møller, P Thiemann
International Static Analysis Symposium, 320-339, 2010
952010
Cogen in six lines
PJ Thiemann
ACM SIGPLAN Notices 31 (6), 180-189, 1996
831996
A typed representation for HTML and XML documents in Haskell
P Thiemann
Journal of functional programming 12 (4-5), 435-468, 2002
812002
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
801998
Blame and coercion: Together again for the first time
J Siek, P Thiemann, P Wadler
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
722015
Recency types for analyzing scripting languages
P Heidegger, P Thiemann
ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010
712010
Gradual security typing with references
L Fennell, P Thiemann
2013 IEEE 26th Computer Security Foundations Symposium, 224-239, 2013
692013
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
692005
Grundlagen der funktionalen Programmierung
P Thiemann
Springer-Verlag, 2013
682013
Context-free session types
P Thiemann, VT Vasconcelos
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
662016
Partial evaluation: international seminar, Dagstuhl Castle, Germany, February 12-16, 1996: selected papers
O Danvy, R Glück
Springer, 1996
65*1996
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
622005
Javagi: Generalized interfaces for java
S Wehr, R Lämmel, P Thiemann
European Conference on Object-Oriented Programming, 347-372, 2007
522007
Gradual session types
A Igarashi, P Thiemann, VT Vasconcelos, P Wadler
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017
512017
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
502010
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20