Skip to content
cs-conference-ranking.org

Olaf Chitil

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

7

Active years

1999–2018

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2018FLOPSA Common Framework Using Expected Types for Several Type Debugging Approaches.Kanae Tsushima, Olaf Chitil
2016PLDILightweight computation tree tracing for lazy functional languages.Maarten Faddegon, Olaf Chitil
2015PLDIAlgorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack.Maarten Faddegon, Olaf Chitil
2012ICFPPractical typed lazy contracts.Olaf Chitil
2011PEPMA semantics for lazy assertions.Olaf Chitil
2008PPDPComprehending finite maps for algorithmic debugging of higher-order functional programs.Olaf Chitil, Thomas Davie
2007APLASMonadic, Prompt Lazy Assertions in Haskell.Olaf Chitil, Frank Huch
2006PPDPCombining algorithmic debugging and program slicing.Josep Silva, Olaf Chitil
2004PADLObserving Functional Logic Computations.Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch
2001ICFPCompositional Explanation of Types and Algorithmic Debugging of Type Errors.Olaf Chitil
1999ICFPType Inference Builds a Short Cut to Deforestation.Olaf Chitil