Exceptions considered harmless
- 31 May 1996
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 26 (1-3) , 179-196
- https://doi.org/10.1016/0167-6423(95)00029-1
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Synthesis of ML programs in the system CoqJournal of Symbolic Computation, 1993
- A new constructive logic: classic logicMathematical Structures in Computer Science, 1991
- The calculus of constructionsInformation and Computation, 1988