- John Backus, Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, Communications of the ACM, 21(8): 613--641, August 1978 Google ScholarDigital Library
- Ian Barland, Matthias Felleisen, Phokion Kolaitis, and Moshe Vardi, TeachLogic Project, http://www.cs.rice.edu/ian/TeachLogicGoogle Scholar
- R. S. Boyer and J. S. Moore, A Computational Logic Handbook, Academic Press, 1988 Google ScholarDigital Library
- K Broda, S Eisenbach, H Khoshnevisan, and S Vickers, Reasoned Programming, Prentice Hall, 1994 Google ScholarDigital Library
- Magnus Carlsson and Thomas Hallgren, Fudgets A Graphical User Interface in a Lazy Functional Language, Proc. Conference on Functional Programming Languages and Computer Architecture, 321--330, ACM Press, 1993 Google ScholarDigital Library
- R. H. Cobb and H. D. Mills, Engineering software under statistical control, IEEE Software, 7(11): 45--54, November 1990 Google ScholarDigital Library
- Computer Science Accreditation Commission, Criteria for Accrediting Programs in Computer Science in the United States, Version 1.0. Computer Science Accreditation Board, January 2000Google Scholar
- C Dean and M Hinchey, editors, Teaching and Learning Formal Methods, Academic Press, 1996Google Scholar
- E. W. Dijkstra, EWD227 stepwise program construction, 1968. In: Selected Writings on Computing: a Personal Perspective, E. W. Dijkstra, editor, 1--14, Springer-Verlag, 1982Google Scholar
- Conan Elliott and Paul Hudak, Functional Reactive Animation, Proc. 1997 ACM SIGLPLAN International Conference on Functional Programming, ACM, 1997 Google ScholarDigital Library
- W. W. Gibbs, Software's chronic crisis, Scientific American, 86--95, September 1994Google Scholar
- M Gordon and T Melham, Introduction to HOL --- A Theorem Proving Environment for Higher Order Logic, 86--95, Cambridge University Press, 1993 Google ScholarDigital Library
- M Gordon, R Milner, R Wadsworth, and P Christopher, Edinburgh LCF: A Mechanical Logic of Computation, Lecture Notes in Computer Science 78. Springer-Vedag, 1979Google Scholar
- David Gries and Fred Schneider, A Logical Approach to Discrete Math, Springer-Verlag, 1993 Google ScholarDigital Library
- Cordelia Hail and John O'Donnell, Discrete Mathematics with a Computer, Springer, 2000Google Scholar
- D Hardin, M Wilding, and D Greve, Transforming the theorem prover into a digital design tool: from concept car to off-road vehicle, Computer-Aided Verification, CAV '98, Lecture Notes in Computer Science 1427, Alan J Hu and Moshe Y Vardi, editors, 39--44, Springer-Verlag, 1988 Google ScholarDigital Library
- C Heitmeyer, R Jeffords, and B Labaw, Automated consistency checking of requirements specifications, ACM Transactions on Software Engineering and Methodology, 5(3):231--261, 1996 Google ScholarDigital Library
- C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, 12(10):576--583, 1969 (reprinted in Communications of the ACM, 26(1):53--56, 1983) Google ScholarDigital Library
- D Leijen and E Meijer, Domain-Specific Embedded Compilers, 2nd Conference on Domain-Specific Languages, Usenix, 1999 Google ScholarDigital Library
- John McCarthy Towards a mathematical science of computation, Proc. of IFIP Congress 62, 21--28, North-Holland, 1963Google Scholar
- S Owre, J Rushby, and N Shankar, PVS: A Prototype Verification System, 11th International Conference on Automated Deduction (CADE), Lecture Notes in Artificial Intelligence 607, 748--752, Deepak Kapur, editor, Springer-Verlag, 1992 Google ScholarDigital Library
- L. C. Paulson, Isabelle: A Generic Theorem Prover, Lecture Notes on Computer Science 828, Springer-Verlag, 1994Google Scholar
- Simon Peyton Jones and John Hughes, editors, Standard Libraries for Haskell 98, http://haskell.cs.yale.edu/onlinelibrary/, February 1999Google Scholar
- Niklas Rojemo and Colin Runciman, Lag, drag, void and use --- heap profiling and space-efficient compilation revisited, Proc. ICFP'96, ACM SIGPLAN Notices, 31 (6):34--41, June 1996 Google ScholarDigital Library
- R. W. Selby, V. R. Basili, and F. T. Baker, Cleanroom software development: an empirical evaluation, IEEE Transactions on Software Engineering, SE-13(9):1027--1037, September 1987 Google ScholarDigital Library
- Philip Wadler, How to declare and imperative. ACM Computing Surveys, 29(3):240--263, September 1997 Google ScholarDigital Library
- Philip Wadler, An angry half-dozen, ACM SIGPLAN Notices, 33(2):25--30, February 1998. Google ScholarDigital Library
- Philip Wadler, Why no one uses functional languages, ACM SIGPLAN Notices, 33(8):23--27, August 1998 Google ScholarDigital Library
Index Terms
- Functional programming, and where you can put it
Recommendations
Functional programming, object-oriented programming and algebras!
WGP '14: Proceedings of the 10th ACM SIGPLAN workshop on Generic programmingFunctional and Object-Oriented (OO) abstractions provide dual views on programming. Functional languages, like ML or Haskell, use algebraic datatypes as the main structuring abstraction. Algebraic datatypes require programmers to think about all the ...
Comments