Searching for authors named "Olaf Chitil" – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
The sigma-Semantics: A Comprehensive Semantics for Functional Programs
- …The &-Semantics: A Comprehensive Semantics for Functional Programs Olaf Chitil Lehrstuhl fur…
- Add To MetaCart
-
Source-based trace exploration
- …Source-Based Trace Exploration Olaf Chitil University of Kent, UK Abstract. Tracing a computation…
- Cited by 10 (2 self) – Add To MetaCart
-
Adding an Optimisation Pass to the Glasgow Haskell Compiler
- …Adding an Optimisation Pass to the Glasgow Haskell Compiler Olaf Chitil Lehrstuhl fur Informatik…
- Cited by 2 (1 self) – Add To MetaCart
-
Type-inference based short cut deforestation (nearly) without inlining
- …Type-Inference Based Short Cut Deforestation (nearly) without Inlining — Work in Progress — Olaf…
- Cited by 5 (1 self) – Add To MetaCart
-
Common subexpressions are uncommon in lazy functional languages
- …Common Subexpressions are Uncommon in Lazy Functional Languages Olaf Chitil Lehrstuhl für…
- Cited by 1 (0 self) – Add To MetaCart
-
Common Subexpression Elimination in a Lazy Functional Language
- …Common Subexpression Elimination in a Lazy Functional Language Olaf Chitil Lehrstuhl fur…
- Cited by 2 (0 self) – Add To MetaCart
-
Compositional Explanation of Types and Algorithmic Debugging of Type Errors
- …Compositional Explanation of Types and Algorithmic Debugging of Type Errors Olaf Chitil University…
- Cited by 21 (0 self) – Add To MetaCart
-
A Semantics for Tracing
- …A Semantics for Tracing | Work in Progress | Olaf Chitil ? University of York, UK olaf…
- Cited by 10 (0 self) – Add To MetaCart
-
Towards a theory of tracing for functional programs based on graph rewriting
- …Towards a Theory of Tracing for Functional Programs based on Graph Rewriting Abstract Olaf Chitil…
- Cited by 3 (2 self) – Add To MetaCart
-
One right does make a wrong
- …One Right Does Make a Wrong Thomas Davie and Olaf Chitil Computing Laboratory, University of Kent…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
