Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Olaf Chitil

Practical Typed Lazy Contracts

ACM SIGPLAN Notices
Computer Science
2012English

Transforming Haskell for Tracing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

A Pattern Logic for Prompt Lazy Assertions in Haskell

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

The Ζ-Semantics: A Comprehensive Semantics for Functional Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy