Searching for authors named "Peter Thiemann" – sorted by Relevance.
59 documents found, showing 1 through 10.
Next 10 →
-
Programmable Type Systems for Domain Specific Languages
- …://www.elsevier.nl/locate/entcs/volume76.html 19 pages Programmable Type Systems for Domain Specic Languages Peter Thiemann 1;2 Institut f…
- Cited by 6 (1 self) – Add To MetaCart
-
First-Class Polyvariant Functions and Co-Arity Raising
- …First-Class Polyvariant Functions and Co-Arity Raising Peter Thiemann Universitat Freiburg…
- Cited by 1 (0 self) – Add To MetaCart
-
Implementing Memoization for Partial Evaluation
- …Implementing Memoization for Partial Evaluation Peter Thiemann Wilhelm…
- Cited by 6 (4 self) – Add To MetaCart
-
A Unified Framework for Binding-Time Analysis
- …A Unified Framework for Binding-Time Analysis Peter Thiemann Wilhelm-Schickard-Institut, Universit…
- Cited by 7 (3 self) – Add To MetaCart
-
Interpreting Specialization in Type Theory
- …Interpreting Specialization in Type Theory Peter Thiemann Institut f ur Informatik Universit…
- Cited by 1 (1 self) – Add To MetaCart
-
Formalizing Resource Allocation in a Compiler
- …Formalizing Resource Allocation in a Compiler Peter Thiemann Department of Computer Science…
- Cited by 2 (0 self) – Add To MetaCart
-
Enforcing Safety Properties by Program Specialization (Extended Abstract)
- …Enforcing Safety Properties by Program Specialization (Extended Abstract) Peter Thiemann…
- Cited by 2 (0 self) – Add To MetaCart
-
The PGG System: User Manual
- …The PGG System|User Manual Peter Thiemann Universitat Freiburg thiemann…
- Cited by 2 (0 self) – Add To MetaCart
-
Higher-Order Code Splicing
- …Higher-Order Code Splicing Peter Thiemann ? thiemann@(email omitted); Institut fur…
- Cited by 2 (0 self) – Add To MetaCart
-
Enforcing Safety Properties Using Type Specialization
- …Enforcing Safety Properties Using Type Specialization Peter Thiemann Universitat Freiburg…
- Cited by 7 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
