Failure is Not an Option - An Exceptional Type Theory

@inproceedings{Pdrot2018FailureIN,
  title={Failure is Not an Option - An Exceptional Type Theory},
  author={Pierre-Marie P{\'e}drot and Nicolas Tabareau},
  booktitle={ESOP},
  year={2018}
}

From This Paper

Topics from this paper.
5 Citations
0 References
Similar Papers