- Ashcroft, E. A. and Wedge, W. W., Rx for Semantics, ACM Trans. on Programming Languages and Systems, 4, 1982. Google ScholarDigital Library
- McCarthy, J., Recursive Functions of Symbolic Expressions and Their Computation by Machines, Comm. of the ACM, 3, 1960. Google ScholarDigital Library
- MacLane, S., Categories for the Working Mathematician, Springer-Verlag, 1971.Google Scholar
- Arbib, M. A. and Manes, E. G., Arrows, Structures, and Functors: The Categorical Imperative, Academic Press, 1975.Google Scholar
- Jensen, K. and Wirth, N., Pascal User Manual and Report, Springer-Verlag, 1974. Google ScholarDigital Library
- Prather, R. E., Problem Solving Principles: Programming With Pascal, Prentice Hall, 1982. Google ScholarDigital Library
- Minsky, M., Computation: Finite and Infinite Machines, Prentice Hall, 1967. Google ScholarDigital Library
- Brainerd, W. S. and Landweber, L. H., Theory of Computation, John Wiley and Sons, 1974. Google ScholarDigital Library
- Eilenberg, S. and Kelly, G. M., Closed Categories, Proc. Symposium on Categorical Algebra, La Jolla, Springer-Verlag, 1966.Google ScholarCross Ref
- Poigne, A., Cartesian Closure: Higher Types of Categories, Category Theory and Computer Programming, Springer-Verlag, 1986. Google ScholarDigital Library
- Tennent, R. D., Principles of Programming Languages, Prentice Hall, 1981. Google ScholarDigital Library
- Holt, R. C. and Cordy, J. R., The Turing Programming Languages, Comm. of the ACM, 31, 1988. Google ScholarDigital Library
- Henderson, P., Functional Programming: Application and Implementation, Prentice Hall, 1980. Google ScholarDigital Library
- Backus, J., Can Programming be Liberated from the Von Neumann Style? A Functional Style and its Algebra of Programs, Comm. of the ACM, 21, 1978. Google ScholarDigital Library
- Aho, A. V., Hopcroft, J. E., and Ullman, J. D., Data Structures and Algorithms, Addison Wesley, 1983. Google ScholarDigital Library
Recommendations
Experiences with a simple structured programming language
SIGCSE '74: Proceedings of the fourth SIGCSE technical symposium on Computer science educationA great deal of interest has developed in structured programming [Dahl, Dijkstra, and Hoare, 1972] during the past few years. This paper is concerned with some experiences obtained in the use of a structured programming language in the computer science ...
Syntax extension and the IMP72 programming language
The IMP72 language for the DEC PDP-10 computer is the most recent of the IMP family of extensible software implementation languages. Its facility for extending the syntax of the language, the syntax statement, is simple enough to be useful to relatively ...
A Transportable Programming Language (TPL) System. II. The Bifunctional Compiler System
The transportable programming language (TPL) method is a high-level-language approach that uses a bifunctional compiler to efficiently convert code among various dialects of a particular high-level language (HLL) via the hypothetical parent of the high-...
Comments