Literatura académica sobre el tema "Functional programming"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Functional programming".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el 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 de enero de 2022): 1595–98. http://dx.doi.org/10.21275/sr231116134821.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Tesis sobre el 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.

Libros sobre el tema "Functional programming"

1

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "Functional programming"

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Hunt, John. "Functional Programming". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Functional programming"

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Soshnikov, Dmitry y Iakov Kirilenko. "Functional reactive programming". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "Functional programming"

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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, enero de 2000. http://dx.doi.org/10.15760/etd.2086.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía