Accedi

Bibliografie tematiche / Functional programming / Articoli di riviste

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Functional programming.

Articoli di riviste sul tema "Functional programming"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 5 luglio 2025

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

Scegli il tipo di fonte:

Vedi i top-50 articoli di riviste per l'attività di ricerca sul 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.

Vedi gli articoli di riviste di molte aree scientifiche e compila una bibliografia corretta.

1

Turner, D. "Total Functional Programming." JUCS - Journal of Universal Computer Science 10, no. (7) (July 28, 2004): 751–68. https://doi.org/10.3217/jucs-010-07-0751.

Testo completo

Abstract (sommario):

The driving idea of functional programming is to make programming more closely related to mathematics. A program in a functional language such as Haskell or Miranda consists of equations which are both computation rules and a basis for simple algebraic reasoning about the functions and data structures they define. The existing model of functional programming, although elegant and powerful, is compromised to a greater extent than is commonly recognised by the presence of partial functions. We consider a simple discipline of total functional programming designed to exclude the possibility of non-termination. Among other things this requires a type distinction between data, which is finite, and codata, which is potentially infinite.

Gli stili APA, Harvard, Vancouver, ISO e altri

2

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

11

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

12

Acar, Umut A., Guy E. Blelloch, and Robert Harper. "Adaptive functional programming." ACM Transactions on Programming Languages and Systems 28, no. 6 (November 2006): 990–1034. http://dx.doi.org/10.1145/1186632.1186634.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

13

WAKELING, DAVID. "Spreadsheet functional programming." Journal of Functional Programming 17, no. 1 (January 2007): 131–43. http://dx.doi.org/10.1017/s0956796806006186.

Testo completo

Abstract (sommario):

AbstractThe functional programming community has shown some interest in spreadsheets, but surprisingly no one seems to have considered making a standard spreadsheet, such as Excel, work with a standard functional programming language, such as Haskell. In this paper, we show one way that this can be done. Our hope is that by doing so, we might get spreadsheet programmers to give functional programming a try.

Gli stili APA, Harvard, Vancouver, ISO e altri

14

Huang, W. T., and D. C. You. "Typed functional programming." ACM SIGPLAN Notices 21, no. 2 (February 1986): 22–26. http://dx.doi.org/10.1145/15022.15024.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

15

Hudak. "Para-Functional Programming." Computer 19, no. 8 (August 1986): 60–70. http://dx.doi.org/10.1109/mc.1986.1663309.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

16

Gorognaya, Lidia. "On Functional Programming." Computer tools in education, no. 3 (August 20, 2021): 57–75. http://dx.doi.org/10.32603/2071-2340-2021-3-57-75.

Testo completo

Abstract (sommario):

The article is devoted to the description of the features of functional programming, considered as a methodology for solving new and research problems of applied and system programming. The technique of analysis and comparison of programming paradigms is involved, taking into account the priorities of decision-making in the process of developing programs. The methodology for comparing languages and programming paradigms is based on an informal definition of the term “programming paradigm”, according to which, when comparing paradigms, it is necessary to highlight the distinctive testable features that allow verification. As such signs, it turned out to be useful to use priorities in decision-making at different stages of studying the problem statement, and then developing and debugging a program for solving it. Accounting of priority allows you to predict the complexity of the application of programmable solutions, starting with planning, studying and organizing the development of long-lived programs. The material of the article is somewhat debatable. The article gives a clear formulation of the principles of the functional programming paradigm, which distinguish it from other paradigms. Based on these principles, the derivation of consequences that allow the successful application of functional programming in solving complex problems is carried out, they are concretized to the tasks of organizing parallel computing and improving the performance of programs created within the framework of the functional programming paradigm. The complexity of creating programs for solving new problems is shown on the example of parallel computing and the requirements for a universal multi-paradigm language for parallel computing are described. For functional programming problems, the correctness and completeness of solutions is more important than the efficiency and productivity of the resulting programs. It is this choice of priorities that allows functional programming to be considered as a general technique for preparing prototypes or functional models. We can say that functional programming acts as a design office for production programming.

Gli stili APA, Harvard, Vancouver, ISO e altri

17

Mollov, Muharem, and Petar Petrov. "Developing Problem Solving Competency Using Functional Programming Style." Mathematics and Informatics LXV, no. 1 (February 28, 2022): 30–44. http://dx.doi.org/10.53656/math2022-1-3-dev.

Testo completo

Abstract (sommario):

This paper is dedicated to the challenges of the education that high school students are facing while developing specific competencies related to the functional programming style (FPS). The presented educational approach consists of two components: first, learning FPS by comparing it with the imperative, procedural, object-oriented and logic programming paradigms and second, using competencies based approach for solving practical problems with functional programming. The paper presents a problem set and the phases of its application in the learning process. The results and the analysis of the approach are presented in two groups of high school students which develop successfully their specific competencies for using FPS for practical problem solving. The presented results show that the students are understanding easier FPS and its differences from their known paradigms (imperative, procedural, object-oriented and logical) by using a problem set with properly prepared practical problems which they can solve in multiple ways which lead them to the FPS solution.

Gli stili APA, Harvard, Vancouver, ISO e altri

18

Chambers, John M. "Object-Oriented Programming, Functional Programming and R." Statistical Science 29, no. 2 (May 2014): 167–80. http://dx.doi.org/10.1214/13-sts452.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

19

Shen, Gan, Shun Kashiwa, and Lindsey Kuper. "HasChor: Functional Choreographic Programming for All (Functional Pearl)." Proceedings of the ACM on Programming Languages 7, ICFP (August 30, 2023): 541–65. http://dx.doi.org/10.1145/3607849.

Testo completo

Abstract (sommario):

Choreographic programming is an emerging paradigm for programming distributed systems. In choreographic programming, the programmer describes the behavior of the entire system as a single, unified program -- a choreography -- which is then compiled to individual programs that run on each node, via a compilation step called endpoint projection. We present a new model for functional choreographic programming where choreographies are expressed as computations in a monad. Our model supports cutting-edge choreographic programming features that enable modularity and code reuse: in particular, it supports higher-order choreographies, in which a choreography may be passed as an argument to another choreography, and location-polymorphic choreographies, in which a choreography can abstract over nodes. Our model is implemented in a Haskell library, HasChor , which lets programmers write choreographic programs while using the rich Haskell ecosystem at no cost, bringing choreographic programming within reach of everyday Haskellers. Moreover, thanks to Haskell's abstractions, the implementation of the HasChor library itself is concise and understandable, boiling down endpoint projection to its short and simple essence.

Gli stili APA, Harvard, Vancouver, ISO e altri

20

Wadler, P. "Editorial - Lazy Functional Programming." Computer Journal 32, no. 2 (February 1, 1989): 97. http://dx.doi.org/10.1093/comjnl/32.2.97.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

21

Hughes, J. "Why Functional Programming Matters." Computer Journal 32, no. 2 (February 1, 1989): 98–107. http://dx.doi.org/10.1093/comjnl/32.2.98.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

22

Paulson, L. C. "Functional Programming with Hope." Computer Journal 35, no. 5 (October 1, 1992): 491. http://dx.doi.org/10.1093/comjnl/35.5.491.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

23

Appel, Andrew W. "SSA is functional programming." ACM SIGPLAN Notices 33, no. 4 (April 1998): 17–20. http://dx.doi.org/10.1145/278283.278285.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

24

Hu, Zhenjiang, John Hughes, and Meng Wang. "How functional programming mattered." National Science Review 2, no. 3 (July 13, 2015): 349–70. http://dx.doi.org/10.1093/nsr/nwv042.

Testo completo

Abstract (sommario):

Abstract In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming matters’. More than two decades have passed. Has functional programming really mattered? Our answer is a resounding ‘Yes!’. Functional programming is now at the forefront of a new generation of programming technologies, and enjoying increasing popularity and influence. In this paper, we review the impact of functional programming, focusing on how it has changed the way we may construct programs, the way we may verify programs, and fundamentally the way we may think about programs.

Gli stili APA, Harvard, Vancouver, ISO e altri

25

Thomson, Norman. "Functional programming with APL2." ACM SIGAPL APL Quote Quad 24, no. 2 (December 1993): 15–16. http://dx.doi.org/10.1145/165643.165644.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

26

Gibert, Jacek. "Functional programming with combinators." Journal of Symbolic Computation 4, no. 3 (December 1987): 269–93. http://dx.doi.org/10.1016/s0747-7171(87)80009-3.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

27

Huang, Wei‐Teh. "Functional programming in graphs." Journal of the Chinese Institute of Engineers 10, no. 1 (January 1987): 87–97. http://dx.doi.org/10.1080/02533839.1987.9676946.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

28

Perez, Ivan, Manuel Bärenz, and Henrik Nilsson. "Functional reactive programming, refactored." ACM SIGPLAN Notices 51, no. 12 (July 19, 2018): 33–44. http://dx.doi.org/10.1145/3241625.2976010.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

29

CABALAR, PEDRO. "Functional answer set programming." Theory and Practice of Logic Programming 11, no. 2-3 (February 4, 2011): 203–33. http://dx.doi.org/10.1017/s1471068410000517.

Testo completo

Abstract (sommario):

AbstractIn this paper we propose an extension of Answer Set Programming (ASP) to deal with (possibly partial) evaluable functions. To this aim, we start from the most general logical counterpart of ASP, Quantified Equilibrium Logic (QEL), and propose a variant QEL=ℱwhere the set of functions is partitioned into Herbrand functions (orconstructors) and evaluable functions (oroperations). We show how this extension has a direct connection to Scott'sLogic of Existence, and introduce several useful derived operators, some of them directly borrowed from Scott's formalisation. Using this general framework for arbitrary theories, we proceed to focus on a syntactic subclass that corresponds to normal logic programs with evaluable functions and equality. We provide a translation of this class into function-free normal programs and consider a safety condition so that the resulting program is also safe, under the usual meaning in ASP. Finally, we also establish a formal comparison to Lin and Wang's approach (FASP) dealing with evaluable total functions.

Gli stili APA, Harvard, Vancouver, ISO e altri

30

Bailes, Paul A. "Introduction to functional programming." Science of Computer Programming 12, no. 2 (July 1989): 158–64. http://dx.doi.org/10.1016/0167-6423(89)90041-5.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

31

Duponcheel, L., and M. Duponcheel. "Acceptable functional programming systems." Acta Informatica 23, no. 1 (April 1986): 67–98. http://dx.doi.org/10.1007/bf00268076.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

32

Burton, F. W., and J. G. Kollias. "Functional programming with quadtrees." IEEE Software 6, no. 1 (January 1989): 90–97. http://dx.doi.org/10.1109/52.16906.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

33

van der Ploeg, Atze. "Monadic functional reactive programming." ACM SIGPLAN Notices 48, no. 12 (January 31, 2014): 117–28. http://dx.doi.org/10.1145/2578854.2503783.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

34

Erwig, Martin. "Functional programming with graphs." ACM SIGPLAN Notices 32, no. 8 (August 1997): 52–65. http://dx.doi.org/10.1145/258949.258955.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

35

Hanna, Keith. "Interactive visual functional programming." ACM SIGPLAN Notices 37, no. 9 (September 17, 2002): 145–56. http://dx.doi.org/10.1145/583852.581493.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

36

McNamara, Brian, and Yannis Smaragdakis. "Functional programming in C++." ACM SIGPLAN Notices 35, no. 9 (September 2000): 118–29. http://dx.doi.org/10.1145/357766.351251.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

37

Narbel, Ph. "Functional Programming at Work in Object- Oriented Programming." Journal of Object Technology 8, no. 6 (2009): 181. http://dx.doi.org/10.5381/jot.2009.8.6.a5.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

38

ERWIG, MARTIN, and STEVE KOLLMANSBERGER. "FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell." Journal of Functional Programming 16, no. 1 (September 12, 2005): 21–34. http://dx.doi.org/10.1017/s0956796805005721.

Testo completo

Abstract (sommario):

At the heart of functional programming rests the principle of referential transparency, which in particular means that a function f applied to a value x always yields one and the same value y=f(x). This principle seems to be violated when contemplating the use of functions to describe probabilistic events, such as rolling a die: It is not clear at all what exactly the outcome will be, and neither is it guaranteed that the same value will be produced repeatedly. However, these two seemingly incompatible notions can be reconciled if probabilistic values are encapsulated in a data type.

Gli stili APA, Harvard, Vancouver, ISO e altri

39

Perez, Ivan. "Fault tolerant functional reactive programming (functional pearl)." Proceedings of the ACM on Programming Languages 2, ICFP (July 30, 2018): 1–30. http://dx.doi.org/10.1145/3236791.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

40

Gorodnyaya, Lidia. "FUNCTIONAL PROGRAMMING FOR PARALLEL COMPUTING." Bulletin of the Novosibirsk Computing Center. Series: Computer Science, no. 45 (2021): 29–48. http://dx.doi.org/10.31144/bncc.cs.2542-1972.2021.n45.p29-48.

Testo completo

Abstract (sommario):

The paper is devoted to modern trends in the application of functional programming to the problems of organizing parallel computations. Functional programming is considered as a meta-paradigm for solving the problems of developing multi-threaded programs for multiprocessor complexes and distributed systems, as well as for solving the problems associated with rapid IT development. The semantic and pragmatic principles of functional programming and consequences of these principles are described. The paradigm analysis of programming languages and systems is used, which allows assessing their similarities and differences. Taking into account these features is necessary when predicting the course of application processes, as well as when planning the study and organization of program development. There are reasons to believe that functional programming is capable of improving program performance through its adaptability to modeling and prototyping. A variety of features and characteristics inherent in the development and debugging of long-lived parallel computing programs is shown. The author emphasizes the prospects of functional programming as a universal technique for solving complex problems burdened with difficult to verify and poorly compatible requirements. A brief outline of the requirements for a multiparadigm parallel programming language is given.

Gli stili APA, Harvard, Vancouver, ISO e altri

41

Thomas, Dave. "Functional Programming — Crossing The Chasm?" Journal of Object Technology 8, no. 5 (2009): 45. http://dx.doi.org/10.5381/jot.2009.8.5.c4.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

42

Jones, S. B. "Functional Programming and Operating Systems." Computer Journal 32, no. 2 (February 1, 1989): 162–74. http://dx.doi.org/10.1093/comjnl/32.2.162.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

43

Hains, G. "Parallel Functional Programming with Arrays." Computer Journal 36, no. 3 (March 1, 1993): 238–45. http://dx.doi.org/10.1093/comjnl/36.3.238.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

44

Hailpern, B., T. Huynh, and G. Revesz. "Comparing two functional programming systems." IEEE Transactions on Software Engineering 15, no. 5 (May 1989): 532–42. http://dx.doi.org/10.1109/32.24702.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

45

Furtado, Antonio L. "Towards functional programming in Prolog." ACM SIGPLAN Notices 23, no. 3 (March 1988): 43–52. http://dx.doi.org/10.1145/43895.43900.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

46

Mitchell, Emily G. "Functional programming through deep time." ACM SIGPLAN Notices 46, no. 9 (September 18, 2011): 28–31. http://dx.doi.org/10.1145/2034574.2034779.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

47

Krasnov, M. M. "Functional Programming Library for C++." Programming and Computer Software 46, no. 5 (September 2020): 330–40. http://dx.doi.org/10.1134/s0361768820050047.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

48

Nedunuri, Srinivas. "The functional approach to programming." ACM SIGSOFT Software Engineering Notes 25, no. 3 (May 2000): 63–65. http://dx.doi.org/10.1145/505863.505889.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

49

Hinsen, Konrad. "The Promises of Functional Programming." Computing in Science & Engineering 11, no. 4 (July 2009): 86–90. http://dx.doi.org/10.1109/mcse.2009.129.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

50

GRANDJEAN, P. "Methylmercury toxicity and functional programming☆." Reproductive Toxicology 23, no. 3 (April 2007): 414–20. http://dx.doi.org/10.1016/j.reprotox.2007.03.002.

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!