Olaf Chitil

Available identifiers

zbMath Open chitil.olafMaRDI QIDQ1648890

List of research outcomes

Publication	Date of Publication	Type
A common framework using expected types for several type debugging approaches	2018-07-09	Paper
Typer inference builds a short cut to deforestation	2016-09-01	Paper
Compositional explanation of types and algorithmic debugging of type errors	2015-03-09	Paper
Practical typed lazy contracts	2014-07-21	Paper
Structure and properties of traces for functional programs	2013-12-20	Paper
Linear, bounded, functional pretty-printing	2009-01-08	Paper
Source-Based Trace Exploration	2007-10-23	Paper
Implementation of Functional Languages	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q2763389	2002-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4381711	1998-07-27	Paper

Research outcomes over time

This page was built for person: Olaf Chitil