Why functional programming really matters

IASTED International Multi-Conference on Applied Informatics

Volumn 21, Issue , 2003, Pages 919-926

  Bailes, Paul A ^a   Kemp, Colin J M ^a   Peake, Ian D ^a   Seefried, Sean ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Functional Programming; Language Extensibility; Programming Tools and Languages; Software Design and Development

Indexed keywords

ANALOG COMPUTERS; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; SEMANTICS; SOFTWARE ENGINEERING;

FUNCTIONAL PROGRAMMING; LANGUAGE EXTENSIBILITY; PROGRAMMING TOOLS; SOFTWARE DESIGN AND DEVELOPMENT;

COMPUTER PROGRAMMING;

EID: 1442351224     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. J. Hughes, Why Functional Programming Matters, Computer Journal, 32(2), 1989, 98-107.
2. T.A. Standish, Extensibility in Programming Language Design, Proc. Natnl. Computer. Conf., 1975, 287-290.
3. G.D. Plotkin, PCF Considered as a Programming Language, Theoretical Computer Science, 5, 1977, 223-255.
4. www.haskell.org
5. P.A. Bailes, The Programmer as Language Designer (Towards a Unified Theory of Programming and Language Design), Proc. 1986 Austrln. Software Eng. Conf., Canberra, 1986, 14-18.
6. G. Hutton, Parsing Using Combinators, Proc. Glasgow Workshop on Functional Programming, Glasgow, 1989.
7. H. Boehm & R. Cartwright, Exact Real Arithmetic: Formulating Real Numbers as Functions, in D.A. Turner (ed.), Research Topics in Functional Programming (Addison-Wesley, 1990), 43-64.
8. S. Peyton Jones, The Implementation of Functional Programming Languages (Hemel Hempstead: Prentice-Hall International, 1987).
9. J.S. Royer, & J. Case, Subrecursive Programming Systems: Complexity & Succinctness (Birkhauser, 1994).
10. D.A. Turner, Elementary Strong Functional Programming", Proc. 1st International Symposium on Functional Programming Languages in Education, Springer LNCS, 1022, 1995, 1-13.
11. G. Hutton, A Tutorial on the Universality and Expressiveness of Fold, Journal of Functional Programming, 9(4), 1999, 355-372.
12. R. Milner, A Theory of Type Polymorphism in Programming, Journal Computer and System Sciences, 17, 1977, 348-375.
13. J.C. Reynolds, Three approaches to type structure, Mathematical Foundations of Software Development, Springer LNCS, 185, 1985.