The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Thiemann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Thiemann
    Server-Side Web Programming in WASH. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 2004, pp:309-330 [Conf]
  2. Peter Thiemann
    An Overview of the SODA System. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:185-192 [Conf]
  3. Matthias Neubauer, Peter Thiemann
    Protocol Specialization. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:246-261 [Conf]
  4. Simon Helsen, Peter Thiemann
    Two Flavors of Offline Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:188-205 [Conf]
  5. Peter Thiemann
    Compiling Adaptive Programs by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    CC, 2000, pp:264-278 [Conf]
  6. Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann
    Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:33-53 [Conf]
  7. Peter Thiemann
    A Type Safe DOM API. [Citation Graph (0, 0)][DBLP]
    DBPL, 2005, pp:169-183 [Conf]
  8. Peter Thiemann, Michael Sperber
    Polyvariant Expansion and Compiler Generators. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1996, pp:285-296 [Conf]
  9. Peter Thiemann
    Enforcing Safety Properties Using Type Specialization. [Citation Graph (0, 0)][DBLP]
    ESOP, 2001, pp:62-76 [Conf]
  10. Peter Thiemann
    A Prototype Dependency Calculus. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:228-242 [Conf]
  11. Peter Thiemann
    Towards a Type System for Analyzing JavaScript Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:408-422 [Conf]
  12. Peter Thiemann
    A Generic Framework for Specialization (Abridged Version). [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:267-281 [Conf]
  13. Peter Thiemann
    Higher-Order Code Splicing. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:243-257 [Conf]
  14. Kathrin Lehmann, Peter Thiemann
    Field Access Analysis for Enforcing Access Control Policies. [Citation Graph (0, 0)][DBLP]
    ETRICS, 2006, pp:337-351 [Conf]
  15. Peter Thiemann
    WASH Server Pages. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:277-293 [Conf]
  16. Peter Thiemann
    An Algebraic Foundation for Adaptive Programming. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:314-328 [Conf]
  17. Peter Thiemann
    Unboxed Values and Polymorphic Typing Revisited. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:24-35 [Conf]
  18. Peter Thiemann
    Static Analysis of the Frequency of Change. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2004, pp:428-437 [Conf]
  19. Peter Thiemann, Michael Sperber
    Program Generation with Class. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:582-591 [Conf]
  20. Peter Thiemann
    Optimizing structural recursion in functional programs. [Citation Graph (0, 0)][DBLP]
    ICCL, 1992, pp:76-85 [Conf]
  21. Dirk Dussart, John Hughes, Peter Thiemann
    Type Specialization for Imperative Languages. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:204-216 [Conf]
  22. Matthias Neubauer, Peter Thiemann
    Type classes with more higher-order polymorphism. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:179-190 [Conf]
  23. Matthias Neubauer, Peter Thiemann
    Discriminative sum types locate the source of type errors. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:15-26 [Conf]
  24. Peter Thiemann
    Cogen in Six Lines. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:180-189 [Conf]
  25. Dirk Draheim, Peter Thiemann, Gerald Weber
    A Spreadsheet Client for Web Applications. [Citation Graph (0, 0)][DBLP]
    NGITS, 2006, pp:274-286 [Conf]
  26. Matthias Neubauer, Peter Thiemann
    An Implementation of Session Types. [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:56-70 [Conf]
  27. Peter Thiemann
    Modeling HTML in Haskell. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:263-277 [Conf]
  28. Peter Thiemann
    WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:192-208 [Conf]
  29. Peter Thiemann
    A Safety Analysis for Functional Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:133-144 [Conf]
  30. Peter Thiemann
    Higher-Order Redundancy Elimination. [Citation Graph (0, 0)][DBLP]
    PEPM, 1994, pp:73-83 [Conf]
  31. Peter Thiemann
    Aspects of the PGG System: Specialization for Standard Scheme. [Citation Graph (0, 0)][DBLP]
    Partial Evaluation, 1998, pp:412-432 [Conf]
  32. Peter Thiemann
    Interpreting Specialization in Type Theory. [Citation Graph (0, 0)][DBLP]
    PEPM, 1999, pp:30-43 [Conf]
  33. Michael Sperber, Peter Thiemann
    The Essence of LR Parsing. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:146-155 [Conf]
  34. Michael Sperber, Peter Thiemann
    Realistic Compilation by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PLDI, 1996, pp:206-214 [Conf]
  35. Michael Sperber, Peter Thiemann
    Two for the Price of One: Composing Partial Evaluation and Compilation. [Citation Graph (0, 0)][DBLP]
    PLDI, 1997, pp:215-225 [Conf]
  36. Peter Thiemann
    LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:481-482 [Conf]
  37. Peter Thiemann
    Implementing Memoization for Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:198-212 [Conf]
  38. Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright
    Single and Loving It: Must-Alias Analysis for Higher-Order Languages. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:329-341 [Conf]
  39. Matthias Neubauer, Peter Thiemann
    From sequential programs to multi-tier applications by program transformation. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:221-232 [Conf]
  40. Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
    Functional logic overloading. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:233-244 [Conf]
  41. Michael Sperber, Robert Glück, Peter Thiemann
    Bootstrapping higher-order program transformers from interpreters. [Citation Graph (0, 0)][DBLP]
    SAC, 1996, pp:408-413 [Conf]
  42. Simon Helsen, Peter Thiemann
    Fragmental Specialization. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:51-71 [Conf]
  43. Peter Thiemann
    Continuation-Based Partial Evaluation without Continuations. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:366-382 [Conf]
  44. Peter Thiemann
    Avoiding Repeated Tests in Pattern Matching. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:141-152 [Conf]
  45. Julia L. Lawall, Peter Thiemann
    Sound Specialization in the Presence of Computational Effects. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:165-190 [Conf]
  46. Peter Thiemann
    A Unified Framework for Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:742-756 [Conf]
  47. Peter Thiemann
    Formalizing Resourve Allocation in a Compiler. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:178-193 [Conf]
  48. Peter Thiemann
    Grammar-based analysis of string expressions. [Citation Graph (0, 0)][DBLP]
    TLDI, 2005, pp:59-70 [Conf]
  49. Peter Thiemann
    Optimizing Structural Recursion in Functional Programs. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1993, v:19, n:2, pp:91-103 [Journal]
  50. Olivier Danvy, Robert Glück, Peter Thiemann
    1998 Symposium on Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3, pp:285-290 [Journal]
  51. Gilles Barthe, John Hatcliff, Peter Thiemann
    Monadic Type Systems: Pure Type Systems for Impure Settings. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
  52. Gilles Barthe, Peter Thiemann
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:75, n:, pp:- [Journal]
  53. Simon Helsen, Peter Thiemann
    Syntactic Type Soundness for the Region Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:41, n:3, pp:- [Journal]
  54. Peter Thiemann
    Programmable Type Systems for Domain Specific Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  55. Peter Thiemann
    Correctness of a region-based binding-time analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  56. Peter Thiemann, Matthias Neubauer
    Parameterized LR Parsing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:110, n:, pp:115-132 [Journal]
  57. Cristiano Calcagno, Simon Helsen, Peter Thiemann
    Syntactic Type Soundness Results for the Region Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:173, n:2, pp:199-221 [Journal]
  58. Gilles Barthe, Peter Dybjer, Peter Thiemann
    Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:1, pp:1-2 [Journal]
  59. Peter Thiemann
    Combinators for Program Generation. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:5, pp:483-525 [Journal]
  60. Peter Thiemann
    A typed representation for HTML and XML documents in Haskell. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:4&5, pp:435-468 [Journal]
  61. Peter Thiemann
    Program specialization for execution monitoring. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:3, pp:573-600 [Journal]
  62. Wei-Ngan Chin, Olivier Danvy, Peter Thiemann
    Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2004, v:17, n:1-2, pp:5-6 [Journal]
  63. Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2006, v:19, n:1, pp:5- [Journal]
  64. Peter Thiemann
    Drawing Syntax Diagrams in Haskell. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1997, v:27, n:8, pp:967-982 [Journal]
  65. Herbert Klaeren, Peter Thiemann
    A Clean Modula-2 Interface to Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    Structured Programming, 1990, v:11, n:2, pp:69-78 [Journal]
  66. Philip Wadler, Peter Thiemann
    The marriage of effects and monads. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2003, v:4, n:1, pp:1-32 [Journal]
  67. Peter Thiemann
    An embedded domain-specific language for type-safe server-side web scripting. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Internet Techn., 2005, v:5, n:1, pp:1-46 [Journal]
  68. Simon Helsen, Peter Thiemann
    Polymorphic specialization for ML. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:4, pp:652-701 [Journal]
  69. Michael Sperber, Peter Thiemann
    Generation of LR parsers by partial evaluation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:224-264 [Journal]
  70. Stefan Wehr, Ralf Lämmel, Peter Thiemann
    JavaGI : Generalized Interfaces for Java. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:347-372 [Conf]
  71. Markus Degen, Peter Thiemann, Stefan Wehr
    Tracking Linear and Affine Resources with Java(X). [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:550-574 [Conf]
  72. Claudius Heitz, Peter Thiemann, Thomas Wölfle
    Integration of an Action Language Via UML Action Semantics. [Citation Graph (0, 0)][DBLP]
    TEAA, 2006, pp:172-186 [Conf]
  73. Peter Thiemann
    User-level transactional programming in Haskell. [Citation Graph (0, 0)][DBLP]
    Haskell, 2006, pp:84-95 [Conf]

  74. Interface Types for Haskell. [Citation Graph (, )][DBLP]


  75. On the Decidability of Subtyping with Bounded Existential Types. [Citation Graph (, )][DBLP]


  76. How to CPS Transform a Monad. [Citation Graph (, )][DBLP]


  77. 07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services. [Citation Graph (, )][DBLP]


  78. 07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services. [Citation Graph (, )][DBLP]


  79. 07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services. [Citation Graph (, )][DBLP]


  80. Optimized Java Binary and Virtual Machine for Tiny Motes. [Citation Graph (, )][DBLP]


  81. Recency Types for Analyzing Scripting Languages. [Citation Graph (, )][DBLP]


  82. Tag-Free Combinators for Binding-Time Polymorphic Program Generation. [Citation Graph (, )][DBLP]


  83. True Lies: Lazy Contracts for Lazy Languages. [Citation Graph (, )][DBLP]


  84. JavaGI in the battlefield: practical experience with generalized interfaces. [Citation Graph (, )][DBLP]


  85. Placement Inference for a Client-Server Calculus. [Citation Graph (, )][DBLP]


  86. Mnemonics: type-safe bytecode generation at run time. [Citation Graph (, )][DBLP]


  87. Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. [Citation Graph (, )][DBLP]


  88. Macros for context-free grammars. [Citation Graph (, )][DBLP]


  89. Type Analysis for JavaScript. [Citation Graph (, )][DBLP]


  90. Interprocedural Analysis with Lazy Propagation. [Citation Graph (, )][DBLP]


  91. DOM Transactions for Testing JavaScript. [Citation Graph (, )][DBLP]


  92. Contract-Driven Testing of JavaScript Code. [Citation Graph (, )][DBLP]


  93. The Relation of Version Control to Concurrent Programming. [Citation Graph (, )][DBLP]


Search in 0.076secs, Finished in 0.079secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002