David K. Gifford
- Ada80.Reference Manual for the Ads Programming Language, U.S. Dept. of Defense, GPO 008-(g)0-0035408 (10so)Google Scholar
- Backus78.J. Baekus, Can Programming be In'berated from the yon Neumann St~le? A Functional St~le and Its Algebra of Programs, Communications of the ACM, Vol. 21, No. 8 (August 1978), pp. 613-641 Google ScholarDigital Library
- Cardelli86.Luca Cardelli, Peter Wegner, On Understanding T~pes, Data Abstraction, and Polyorphism, to appear in Computing Survey Google ScholarDigital Library
- Gordon79.Michael J. C. Gordon, Robin Milner, Christopher Wadsworth, Edinburgh LCF, Lecture Notes in Computer Science no. 78 (1979)Google Scholar
- Gurd85.J. R. Gurd, C. C. Kirkham, I. Watson, The Manchester Prototype Data flow Computer, Communications of the ACM, Vol. 28, No. I (January 1985), pp. 34-52. Google ScholarDigital Library
- Henderson80.Peter Henderson, Functional Programming -- Application and Implementation, Prentice-Hall international (1980) Google ScholarDigital Library
- Lampson78.B. W. Lampson, J. J. Homing, Ralph L. London, J. G. Mitchell, G. J. Popek, Revised Report on the Programming Language Euclid, Xerox Technical Center TR CSL-78-2 (1978)Google Scholar
- Liskov79.Barbara H. Liskov et al., CLU Reference manual, MIT LCS TR-225 (1979) Google ScholarDigital Library
- Marti80.Jed B. Marti, Compilation Techniques for a Control-I;Tow Concurrent In'zp System, 1980 Lisp Conference, pp. 203-207 Google ScholarDigital Library
- Marti83.Jed B. Mart,i, John Fitch, The Bath Concurrent l.n'sp machine, Eurocal '83, European Computer Algebra Conference, Lecture Notes in Computer Science No. 162, pp. 78-90 (1983) Google ScholarDigital Library
- Milner84.Robin Milner, A Proposal for Standard ML, 1984 Symposium on Lisp sad Functional Programming, August 1985, pp. 184-197 Google ScholarDigital Library
- Mitchell85.John Clifford Mitchell, Gordon D. Plotkin, Abstract Type8 have E~'iztential Types, Twelfth Annual ACM Symposium on Principles of Programming Languages, January 1985, pp. 37-51 Google ScholarDigital Library
- Morris82.James H. Morris Jr., Real Programming in Functional Languages, in Darlington (Ed.), Functional Programming and it~ Applications (1982), pp. 129-176Google Scholar
- Reynolds74.John C. Reynolds, Toward8 a Theory of Tgpe Structure, International Programming Svrnpozium, Lecture Notes in Computer Science no. 19, pp. 408-425 (1974) Google ScholarDigital Library
- Reynolds78.John C. Reynolds, S~ntacti~ Control of Interference, Fifth Annual ACM Symposium on Principles of Programming Languages (January 1978), pp. 39-46 Google ScholarDigital Library
- Steele78.Guy L. Steele, Rabbit: A Compiler for SCHEME (A Study in Compiler Optimization), MIT AI TR-474 (May 1978) Google ScholarDigital Library
Index Terms
(auto-classified)Integrating functional and imperative programming
Recommendations
When is a functional program not a functional program?
In an impure functional language, there are programs whose behaviour is completely functional (in that they behave extensionally on inputs), but the functions they compute cannot be written in the purely functional fragment of the language. That is, the ...
When is a functional program not a functional program?
In an impure functional language, there are programs whose behaviour is completely functional (in that they behave extensionally on inputs), but the functions they compute cannot be written in the purely functional fragment of the language. That is, the ...
Comments