skip to main content
research-article
Free access

Using functions for easier programming

Published: 24 April 2018 Publication History

Abstract

Functional programming languages automate many of the details underlying specific operations.

References

[1]
Diatchki, I.S., Hallgren, T., Jones, M.P., Leslie, R., and Tolmach, A. Writing systems software in a functional language: An experience report PLOS 2007 http://yav.github.io/publications/plos07.pdf
[2]
Antoy, S. and Hanus, M. Functional Logic Programming, CACM 43, April 2010.
[3]
Bernardy, J-P., Boespflug, M., Newton, R., Peyton Jones, S., and Spiwack, A. Linear Haskell: Practical linearity in a higher-order polymorphic language, Proceedings of the ACM on Programming Languages 2, 2017 https://www.microsoft.com/en-us/research/publication/retrofitting-linear-types/
[4]
Vazou, N., Choudhury, V., Scott, R.G., Newton, P.R., Wadler, P., and Jhala, R. Refinement reflection: Complete verification with SMT
[5]
Principles of Programming Languages (POPL), Los Angeles, 8-13 January 2018. https://dl.acm.org/citation.cfm?doid=3177123.3158141
[6]
Functional Programming and Haskell https://www.youtube.com/watch?v=LnX3B9oaKzw

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 61, Issue 5
May 2018
104 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/3210350
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 April 2018
Published in CACM Volume 61, Issue 5

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article
  • Popular
  • Pre-selected

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)305
  • Downloads (Last 6 weeks)39
Reflects downloads up to 18 Jan 2025

Other Metrics

Citations

Cited By

View all

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media