Functional Pearl: Witness Me — Constructive Arguments Must Be Guided with Concrete Witness

NOTE: This repository doesn't accept any Pull Request. Please don't open one(s) 😀

About

This repository is the support repository for "Functional Pearl: Witness Me — Constructive Arguments Must Be Guided with Concrete Witness" by Hiromi Ishii.

The example implementation of the methods introduced in the paper can be obtained from ./demotion-examples.

Bibliography

Hiromi Ishii, Functional Pearl: Witness Me — Constructive Arguments Must Be Guided with Concrete Witness, 2021. Submitted to Haskell'21. (arxiv:2103.11751)

Citation (preprint)

@misc{ishii2021functional,
      title={Functional Pearl: Witness Me -- Constructive Arguments Must Be Guided with Concrete Witness}, 
      author={Hiromi Ishii},
      year={2021},
      eprint={2103.11751},
      archivePrefix={arXiv},
      primaryClass={cs.PL}
}