Letteratura scientifica selezionata sul tema "Functional programming"

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Functional programming".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Functional programming"

1

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Tesi sul tema "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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
5

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
10

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri

Libri sul tema "Functional programming"

1

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Vene, Varmo, e Tarmo Uustalu, a cura di. Advanced Functional Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11546382.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Jeuring, Johan, e Simon L. Peyton Jones, a cura di. Advanced Functional Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b11942.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Capitoli di libri sul tema "Functional programming"

1

Oza, K. S., S. R. Patil e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Pickering, Robert, e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Späth, Peter, e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Antoy, Sergio, e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Peyton Jones, Simon L., e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Hudak, Paul, e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Soshnikov, Dmitry, e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Acar, Umut A., Guy E. Blelloch e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Perez, Ivan, Manuel Bärenz e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Functional programming"

1

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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, gennaio 2000. http://dx.doi.org/10.15760/etd.2086.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Boggs, P. T., J. W. Tolle e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

McCormick, Garth P., e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
10

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia