Share This Author
Type Analysis for JavaScript
- S. Jensen, Anders Møller, Peter Thiemann
- Computer ScienceSAS
- 12 August 2009
TLDR
Towards a Type System for Analyzing JavaScript Programs
- Peter Thiemann
- Computer ScienceESOP
- 4 April 2005
TLDR
An Implementation of Session Types
- Matthias Neubauer, Peter Thiemann
- Computer SciencePADL
- 18 June 2004
A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying stream-based Internet protocols.
Cogen in six lines
- Peter Thiemann
- Computer ScienceICFP '96
- 15 June 1996
We have designed and implemented a program-generator generator (PGG) for an untyped higher-order functional programming language. The program generators perform continuation-based multi-level offline…
A typed representation for HTML and XML documents in Haskell
- Peter Thiemann
- Computer ScienceJournal of Functional Programming
- 1 July 2002
TLDR
Gradual Security Typing with References
- L. Fennell, Peter Thiemann
- Computer ScienceIEEE 26th Computer Security Foundations Symposium
- 26 June 2013
TLDR
An embedded domain-specific language for type-safe server-side web scripting
- Peter Thiemann
- Computer ScienceTOIT
- 1 February 2005
TLDR
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms
- Peter Thiemann
- Computer SciencePADL
- 19 January 2002
TLDR
Optimized Java Binary and Virtual Machine for Tiny Motes
- Faisal Aslam, L. Fennell, Z. A. Uzmi
- Computer ScienceDCOSS
- 21 June 2010
TLDR
Syntactic Type Soundness Results for the Region Calculus
- Cristiano Calcagno, S. Helsen, Peter Thiemann
- Computer ScienceInf. Comput.
- 15 March 2002
TLDR
...
...