Filter Results:
- Full text PDF available (55)
Publication Year
1982
2018
- This year (5)
- Last 5 years (51)
- Last 10 years (98)
Publication Type
Co-author
Journals and Conferences
Learn More
- Simon Holm Jensen, Anders Møller, Peter Thiemann
- SAS
- 2009
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but there is still… (More)
- Peter Thiemann
- ESOP
- 2005
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a rapidly evolving… (More)
- Philip Wadler, Peter Thiemann
- ACM Trans. Comput. Log.
- 2003
Gifford and others proposed an effect typing discipline to delimit the scope of computational effects within a program, while Moggi and others proposed monads for much the same purpose. Here we marry… (More)
- Peter Thiemann
- ACM Trans. Internet Techn.
- 2005
WASH/CGI is an embedded domain-specific language for server-side Web scripting. Due to its reliance on the strongly typed, purely functional programming language Haskell as a host language, it is… (More)
- Peter Thiemann
- J. Funct. Program.
- 2002
We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML/XML documents are… (More)
- Peter Thiemann
- ICFP
- 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… (More)
- Peter Thiemann
- PADL
- 2002
The common gateway interface (CGI) is one of the prevalent methods to provide dynamic contents on the Web. Since it is cumbersome to use in its raw form, there are many libraries that make CGI… (More)
- Faisal Aslam, Luminous Fennell, +5 authors Zartash Afzal Uzmi
- DCOSS
- 2010
We have developed TakaTuka, a Java Virtual Machine optimized for tiny embedded devices such as wireless sensor motes. TakaTuka requires very little memory and processing power from the host device.… (More)
- Cristiano Calcagno, Simon Helsen, Peter Thiemann
- Inf. Comput.
- 2002
The region calculus of Tofte and Talpin is a polymorphically typed lambda calculus with annotations that make memory allocation and deallocation explicit. It is intended as an intermediate language… (More)
- Stefan Wehr, Ralf Lämmel, Peter Thiemann
- ECOOP
- 2007
JavaGI is an experimental language that extends Java 1.5 by generalizing the interface concept to incorporate the essential features of Haskell’s type classes. In particular, generalized interfaces… (More)