Comparing integrated and external logics of functional programs
- 30 June 1990
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 14 (1) , 59-79
- https://doi.org/10.1016/0167-6423(90)90058-l
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Do-it-yourself type theoryFormal Aspects of Computing, 1989
- Terminating general recursionBIT Numerical Mathematics, 1988
- Constructing recursion operators in intuitionistic type theoryJournal of Symbolic Computation, 1986
- Proving termination of normalization functions for conditional expressionsJournal of Automated Reasoning, 1986
- An interpretation of Martin-Löf's type theory in a type-free theory of propositionsThe Journal of Symbolic Logic, 1984
- A Deductive Approach to Program SynthesisACM Transactions on Programming Languages and Systems, 1980