Log in

Relevant bibliographies by topics / Functional programming

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Functional programming'

Author: Grafiati

Published: 4 June 2021

Last updated: 30 July 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Functional programming.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Functional programming"

1

Shukla, Abhishek. "Bridging the Gap between Event-Based Programming and Functional Programming." International Journal of Science and Research (IJSR) 11, no. 1 (January 5, 2022): 1595–98. http://dx.doi.org/10.21275/sr231116134821.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Ferguson, Iain. "Functional programming." ACM SIGPLAN Lisp Pointers VI, no. 2 (April 1993): 43–48. http://dx.doi.org/10.1145/174186.174192.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ames, W. F. "Functional programming." Mathematics and Computers in Simulation 31, no. 6 (February 1990): 599. http://dx.doi.org/10.1016/0378-4754(90)90083-u.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Joosten, S. "Functional programming." Information and Software Technology 32, no. 2 (March 1990): 166. http://dx.doi.org/10.1016/0950-5849(90)90121-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Visnovitz, Márton. "Classical Programming Topics with Functional Programming." Central-European Journal of New Technologies in Research, Education and Practice 2, no. 2 (2020): 41–55. http://dx.doi.org/10.36427/cejntrep.2.2.965.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Goldberg, Benjamin. "Functional programming languages." ACM Computing Surveys 28, no. 1 (March 1996): 249–51. http://dx.doi.org/10.1145/234313.234414.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Reddy, U. S. "Imperative functional programming." ACM Computing Surveys 28, no. 2 (June 1996): 312–14. http://dx.doi.org/10.1145/234528.234736.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Antoy, Sergio, and Michael Hanus. "Functional logic programming." Communications of the ACM 53, no. 4 (April 2010): 74–85. http://dx.doi.org/10.1145/1721654.1721675.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Elliott, Conal M. "Tangible functional programming." ACM SIGPLAN Notices 42, no. 9 (October 2007): 59–70. http://dx.doi.org/10.1145/1291220.1291163.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Acar, Umut A., Guy E. Blelloch, and Robert Harper. "Adaptive functional programming." ACM SIGPLAN Notices 37, no. 1 (January 2002): 247–59. http://dx.doi.org/10.1145/565816.503296.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Functional programming"

1

Hill, Stephen A. "Functional programming techniques." Thesis, University of Kent, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236147.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Longley, Mark. "Functional programming applications." Thesis, University of Kent, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.303191.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Perera, Roland. "Interactive functional programming." Thesis, University of Birmingham, 2013. http://etheses.bham.ac.uk//id/eprint/4209/.

Full text

Abstract:

We propose a new kind of execution environment where applications can be debugged and re-programmed while they are being used. We call our overall concept interactive programming. We develop some of the key components of interactive programming in the setting of a pure, call-by-value functional language. We illustrate our ideas via a proof-of-concept implementation called lambdaCalc, but leave several important components of the overall vision, including efficient incremental update and scaling to large programs, for future work. Our specific achievements are as follows. First, we show how to reify the execution of a program into a live document which can be interactively decomposed into both sequential steps and parallel slices. We give a novel characterisation of forward and backward dynamic slicing and show that for a fixed computation the two problems describe a Galois connection. Second, we introduce a novel execution indexing scheme which derives execution differences from program differences. Our scheme supports the wholesale reorganisation of a computation via operations such as moves and splices. The programmer is able to see the consequences of edits on the intensional structure of the execution. Where possible, node identity is preserved, allowing an edit to be made whilst an execution is being explored and the changes to be reflected in the user's current view of the execution.

APA, Harvard, Vancouver, ISO, and other styles

4

Clark, Allan. "Abstraction-level functional programming." Thesis, University of Edinburgh, 2008. http://hdl.handle.net/1842/24458.

Full text

Abstract:

This thesis is concerned with the abstraction-level programming, where abstraction-level is the level of programming tasks which extend the abstraction of the machine. Extending the abstraction of the machine is generally done by compiler writers for high-level programming languages or those implementing an interface to lower-level or legacy libraries. The abstractions which are implemented are then used, either explicitly or implicitly, by the high-level language programmer. The main aim of the abstraction is often to increase programmer productivity but can also be for efficiency or security reasons. Implementing an automatic runtime garbage collector is a common example of an abstraction-level programming task. To date most abstraction-level programming has been done in low-level programming languages such as C. The contents of this thesis describes an investigation into the design of a functional language Nitro, for use in abstraction-level programming. The main goal is to provide the abstraction-level programmer with some of the benefits enjoyed by high-level functional language programmers.

APA, Harvard, Vancouver, ISO, and other styles

5

Widera, Manfred. "Testing in functional programming." Aachen Shaker, 2006. http://d-nb.info/988123983/04.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Widera, Manfred. "Testing in functional programming /." Aachen : Shaker, 2008. http://d-nb.info/988123983/04.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Meehan, Gary. "Aspects of functional programming." Thesis, University of Warwick, 1999. http://wrap.warwick.ac.uk/58566/.

Full text

Abstract:

This thesis explores the application of functional programming in new areas and its implementation using new technologies. We show how functional languages can be used to implement solutions to problems in fuzzy logic using a number of languages: Haskell, Ginger and Aladin. A compiler for the weakly-typed, lazy language Ginger is developed using Java byte-code as its target code. This is used as the inspiration for an implementation of Aladin, a simple functional language which has two novel features: its primitives are designed to be written in any language, and evaluation is controlled by declaring the strictness of all functions. Efficient denotational and operational semantics are given for this machine and an implementation is devel- oped using these semantics. We then show that by using the advantages of Aladin (simplicity and strictness control) we can employ partial evaluation to achieve con- siderable speed-ups in the running times of Aladin programs.

APA, Harvard, Vancouver, ISO, and other styles

8

Martins, Pedro M. "Context-oriented functional programming." Thesis, Imperial College London, 2013. http://hdl.handle.net/10044/1/24669.

Full text

Abstract:

The modern computing landscape, featuring heterogeneous interconnected mobile devices, poses new challenges and opportunities for application development. Mobility and heterogeneity of devices imply that applications need to adapt depending on their execution context. Contexts such as the device that an application is running on, or the power profile, may require widespread program-wide adaptation. Dealing with this adaptation can lead to the introduction of subtle bugs, and subsequent runtime errors, such as null pointer exceptions when context has not been initialized. Current approaches to encoding context-aware behaviour are either very flexible but unsafe, or safe but too restrictive. In this thesis we present a new approach to context-aware application development based on functional programming, which attempts to be both flexible and safe. In order to do so, we present an embedded domain specific language in Haskell, where we explore the design space of context-dependent values within a functional programming language. In particular, we explore how to use Haskell's type system to automatically derive the context dependencies needed by a computation at the type level, and use this to ensure that required context is always available. We then develop context-dependent types to ensure safety in the presence of program-wide variation. By using different return types for different modes of operation of the program when appropriate, we can ensure isolation between them through type checking. We extend our domain specific language to support context-dependent types, whilst retaining type soundness, as well as sound and (we conjecture) complete type inference. We present a core calculus for these features and a high-level language that extends the calculus with practical programming features. Evaluation is performed by examining a context-aware application requiring exactly the kind of adaptation that is unsafe to implement in current approaches. We show that our language compares favourably to the state of the art in terms of both safety and code clarity.

APA, Harvard, Vancouver, ISO, and other styles

9

Yoo, Daniel. "Building Web Based Programming Environments for Functional Programming." Digital WPI, 2012. https://digitalcommons.wpi.edu/etd-dissertations/181.

Full text

Abstract:

Functional programming offers an accessible and powerful algebraic model for computing. JavaScript is the language of the ubiquitous Web, but it does not support functional programs well due to its single-threaded, asynchronous nature and lack of rich control flow operators. The purpose of this work is to extend JavaScript to a language environment that satisfies the needs of functional programs on the Web. This extended language environment uses sophisticated control operators to provide an event-driven functional programming model that cooperates with the browser's DOM, along with synchronous access to JavaScript's asynchronous APIs. The results of this work are used toward two projects: (1) a programming environment called WeScheme that runs in the web browser and supports a functional programming curriculum, and (2) a tool-chain called Moby that compiles event-driven functional programs to smartphones, with access to phone-specific features.

APA, Harvard, Vancouver, ISO, and other styles

10

Alam, Abu S. "A programming system for end-user functional programming." Thesis, University of Gloucestershire, 2015. http://eprints.glos.ac.uk/2738/.

Full text

Abstract:

This research involves the construction of a programming system, HASKEU, to support end-user programming in a purely functional programming language. An end-user programmer is someone who may program a computer to get their job done, but has no interest in becoming a computer programmer. A purely functional programming language is one that does not require the expression of statement sequencing or variable updating. The end-user is offered two views of their functional program. The primary view is a visual one, in which the program is presented as a collection of boxes (representing processes) and lines (representing data flow). The secondary view is a textual one, in which the program is presented as a collection of written function definitions. It is expected that the end-user programmer will begin with the visual view, perhaps later moving on to the textual view. The task of the programming system is to ensure that the visual and textual views are kept consistent as the program is constructed. The foundation of the programming system is a implementation of the Model-View-Controller (MVC) design pattern as a reactive program using the elegant Functional Reactive Programming (FRP) framework. Human-Computer Interaction (HCI) principles and methods are considered in all design decisions. A usabilty study was made to �find out the effectiveness of the new system.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Functional programming"

1

Field, Anthony J. Functional programming. Wokingham, England: Addison-Wesley, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Davis, Kei, and John Hughes, eds. Functional Programming. London: Springer London, 1990. http://dx.doi.org/10.1007/978-1-4471-3166-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Swierstra, S. Doaitse, José N. Oliveira, and Pedro R. Henriques, eds. Advanced Functional Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/10704973.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Vene, Varmo, and Tarmo Uustalu, eds. Advanced Functional Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11546382.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Koopman, Pieter, Rinus Plasmeijer, and Doaitse Swierstra, eds. Advanced Functional Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04652-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Jeuring, Johan, and Simon L. Peyton Jones, eds. Advanced Functional Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b11942.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Jeuring, Johan, and Erik Meijer, eds. Advanced Functional Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59451-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Launchbury, John, Erik Meijer, and Tim Sheard, eds. Advanced Functional Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61628-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Burstall, R. M. Inductively defined functions in functional programming languages. Edinburgh: University of Edinburgh, Laboratory for Foundations of Computer Science, 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Reade, Chris. Elements of functional programming. Wokingham, England: Addison-Wesley, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Functional programming"

1

Oza, K. S., S. R. Patil, and R. K. Kamat. "Programming for Functional Functions." In 'C' Programming in an Open Source Paradigm, 99–115. New York: River Publishers, 2022. http://dx.doi.org/10.1201/9781003337461-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Pickering, Robert, and Kit Eason. "Functional Programming." In Beginning F# 4.0, 19–64. Berkeley, CA: Apress, 2016. http://dx.doi.org/10.1007/978-1-4842-1374-2_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Lee, Kent D. "Functional Programming." In Foundations of Programming Languages, 179–234. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-70790-7_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Davis, Adam L. "Functional Programming." In Learning Groovy 3, 77–90. Berkeley, CA: Apress, 2019. http://dx.doi.org/10.1007/978-1-4842-5058-7_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Davis, Adam L. "Functional Programming." In Modern Programming Made Easy, 71–84. Berkeley, CA: Apress, 2020. http://dx.doi.org/10.1007/978-1-4842-5569-8_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Späth, Peter, and Jeff Friesen. "Functional Programming." In Learn Java for Android Development, 431–47. Berkeley, CA: Apress, 2020. http://dx.doi.org/10.1007/978-1-4842-5943-6_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Hunt, John. "Functional Programming." In A Beginner's Guide to Scala, Object Orientation and Functional Programming, 35–40. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-75771-1_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Davis, Adam L. "Functional Programming." In Learning Groovy, 45–54. Berkeley, CA: Apress, 2016. http://dx.doi.org/10.1007/978-1-4842-2117-4_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Davis, Adam L. "Functional Programming." In Modern Programming Made Easy, 49–56. Berkeley, CA: Apress, 2016. http://dx.doi.org/10.1007/978-1-4842-2490-8_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Weik, Martin H. "functional programming." In Computer Science and Communications Dictionary, 663. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_7796.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Functional programming"

1

Ferguson, Iain. "Functional programming." In the 1992 conference. New York, New York, USA: ACM Press, 1992. http://dx.doi.org/10.1145/1040030.174192.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Antoy, Sergio, and Michael Hanus. "Set functions for functional logic programming." In the 11th ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1599410.1599420.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Elliott, Conal M. "Tangible functional programming." In the 2007 ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1291151.1291163.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Peyton Jones, Simon L., and Philip Wadler. "Imperative functional programming." In the 20th ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 1993. http://dx.doi.org/10.1145/158511.158524.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Meijer, Erik. "Fundamentalist functional programming." In the 7th international conference. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1449913.1449929.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Hudak, Paul, and Lauren Smith. "Para-functional programming." In the 13th ACM SIGACT-SIGPLAN symposium. New York, New York, USA: ACM Press, 1986. http://dx.doi.org/10.1145/512644.512667.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Soshnikov, Dmitry, and Iakov Kirilenko. "Functional reactive programming." In CEE-SECR '14: Central and Eastern European Software Engineering Conference in Russia. New York, NY, USA: ACM, 2014. http://dx.doi.org/10.1145/2687233.2687255.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Acar, Umut A., Guy E. Blelloch, and Robert Harper. "Adaptive functional programming." In the 29th ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/503272.503296.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Harris, Warren. "Functional programming at Freebase." In ACM SIGPLAN Commercial Users of Functional Programming. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1900160.1900177.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Perez, Ivan, Manuel Bärenz, and Henrik Nilsson. "Functional reactive programming, refactored." In ICFP'16: ACM SIGPLAN International Conference on Functional Programming. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2976002.2976010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Functional programming"

1

Anderson, Loren James, and Marion Kei Davis. Functional Programming in Computer Science. Office of Scientific and Technical Information (OSTI), January 2016. http://dx.doi.org/10.2172/1237221.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Voellmy, Andreas, Ashish Agarwal, and Paul Hudak. Nettle: Functional Reactive Programming for OpenFlow Networks. Fort Belvoir, VA: Defense Technical Information Center, July 2010. http://dx.doi.org/10.21236/ada555162.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ahn, Ki Yung. The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.2086.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Royset, J. O. Optimality Functions in Stochastic Programming. Fort Belvoir, VA: Defense Technical Information Center, December 2009. http://dx.doi.org/10.21236/ada513135.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Shapiro, David. Compiling Evaluable Functions in the Godel Programming Language. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.6977.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Talcott, Carolyn. Programming and Proving with Function and Control Abstractions,. Fort Belvoir, VA: Defense Technical Information Center, October 1989. http://dx.doi.org/10.21236/ada324006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Boggs, P. T., J. W. Tolle, and A. J. Kearsley. A merit function for inequality constrained nonlinear programming problems. Gaithersburg, MD: National Institute of Standards and Technology, 1991. http://dx.doi.org/10.6028/nist.ir.4702.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

McCormick, Garth P., and Christoph Witzgall. On weakly analytic and faithfully convex functions in convex programming. Gaithersburg, MD: National Institute of Standards and Technology, 2000. http://dx.doi.org/10.6028/nist.ir.6426.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Shamonia, Volodymyr H., Olena V. Semenikhina, Volodymyr V. Proshkin, Olha V. Lebid, Serhii Ya Kharchenko, and Oksana S. Lytvyn. Using the Proteus virtual environment to train future IT professionals. [б. в.], February 2020. http://dx.doi.org/10.31812/123456789/3760.

Full text

Abstract:

Based on literature review it was established that the use of augmented reality as an innovative technology of student training occurs in following directions: 3D image rendering; recognition and marking of real objects; interaction of a virtual object with a person in real time. The main advantages of using AR and VR in the educational process are highlighted: clarity, ability to simulate processes and phenomena, integration of educational disciplines, building an open education system, increasing motivation for learning, etc. It has been found that in the field of physical process modelling the Proteus Physics Laboratory is a popular example of augmented reality. Using the Proteus environment allows to visualize the functioning of the functional nodes of the computing system at the micro level. This is especially important for programming systems with limited resources, such as microcontrollers in the process of training future IT professionals. Experiment took place at Borys Grinchenko Kyiv University and Sumy State Pedagogical University named after A. S. Makarenko with students majoring in Computer Science (field of knowledge is Secondary Education (Informatics)). It was found that computer modelling has a positive effect on mastering the basics of microelectronics. The ways of further scientific researches for grounding, development and experimental verification of forms, methods and augmented reality, and can be used in the professional training of future IT specialists are outlined in the article.

APA, Harvard, Vancouver, ISO, and other styles

10

Greer, Earl D. Joint Staff Organization: Is there a Planning and Programming Function Split. Fort Belvoir, VA: Defense Technical Information Center, March 1989. http://dx.doi.org/10.21236/ada208040.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!