Interactive programs in a functional language: A functional implementation of an editor
- 1 September 1987
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 17 (9) , 609-622
- https://doi.org/10.1002/spe.4380170905
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The formal specification and prototype implementation of a simple editorACM SIGPLAN Notices, 1985
- DialoguesACM SIGPLAN Notices, 1985
- A Survey of Proposed Architectures for the Execution of Functional LanguagesIEEE Transactions on Computers, 1984
- Efficient compilation of lazy evaluationACM SIGPLAN Notices, 1984
- Formal specification of a display-oriented text editorScience of Computer Programming, 1982