Добірка наукової літератури з теми "Functional programming"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Functional programming".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Анотація:
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 та ін.
4

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

Повний текст джерела
Анотація:
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 та ін.
5

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Анотація:
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 та ін.
8

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

Повний текст джерела
Анотація:
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 та ін.
9

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

Повний текст джерела
Анотація:
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 та ін.
10

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

Повний текст джерела
Анотація:
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 та ін.

Книги з теми "Functional programming"

1

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Частини книг з теми "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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії