NiekM/taxi-driver: Dissertation Artifact

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Niek Mulleners
DOI: 10.5281/zenodo.17900891
Cited by: 0

Abstract

This is the version of Taxi-Driver associated with the dissertation "Program Sketching with Types and Examples". It is updated to use GHC 9.10.3 to match the related tools scrybe and parametrickery.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
17 July 2026