Exception Handling and Classical Logic

Steffen van Bakel. Exception Handling and Classical Logic. In Ekaterina Komendantskaya, editor, Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. ACM, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.