Suchergebnisse - "Parallel Functional Programming"

East of Eden : parallel functional programming in Idris

Autoren: Brown, Christopher Mark Barwell, Adam David University of St Andrews.School of Computer Science

Weitere Verfasser: Brown, Christopher Mark Barwell, Adam David University of St Andrews.School of Computer Science

Schlagwörter: Processes, QA75, Explicit, QA75 Electronic computers. Computer science, Concurrency, Parallelism, Idris, Skeletons, Dependent types, Implicit, AC

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/10023/32678

Applying Large Language Models to Enhance the Assessment of Parallel Functional Programming Assignments

Autoren: Skyler Grandel Douglas C. Schmidt Kevin Leach

Quelle: Proceedings of the 1st International Workshop on Large Language Models for Code. :102-110

Efficient Parallel Functional Programming with Effects

Autoren: Jatin Arora Sam Westrick Umut A. Acar

Quelle: Proceedings of the ACM on Programming Languages. 7:1558-1583

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Provably space-efficient parallel functional programming

Autoren: Jatin Arora Sam Westrick Umut A. Acar

Quelle: Proceedings of the ACM on Programming Languages. 5:1-33

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://dl.acm.org/doi/pdf/10.1145/3434299
https://popl21.sigplan.org/details/POPL-2021-research-papers/18/Provably-Space-Efficient-Parallel-Functional-Programming
https://dl.acm.org/doi/pdf/10.1145/3434299
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#0002WA21
https://dl.acm.org/doi/10.1145/3434299

East of Eden:parallel functional programming in Idris

Autoren: Brown, Christopher Mark Barwell, Adam David

Quelle: Brown , C M & Barwell , A D 2025 , ' East of Eden : parallel functional programming in Idris ' , Paper presented at High-Level Parallel Programming and Applications , 3/07/25 pp. 1-19 .

Schlagwörter: Idris, Parallelism, Dependent types, Concurrency, Skeletons, Implicit, Explicit, Processes

Dateibeschreibung: application/pdf

Verfügbarkeit: https://research-portal.st-andrews.ac.uk/en/publications/70a0b73e-3ab3-4d23-9df3-b6b23c20be44
https://research-repository.st-andrews.ac.uk/bitstream/10023/32678/1/HLPP_2025-2.pdf

Interactive Bulk Synchronous Parallel Functional Programming in a Browser

Autoren: Tesson, Julien Loulergue, Frédéric

Weitere Verfasser: Tesson, Julien Loulergue, Frédéric

Quelle: 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI). :1593-1598

Schlagwörter: [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Zugangs-URL: https://inria.hal.science/hal-02317093v1
https://doi.org/10.1109/smartworld.2018.00273

A new approach to parallel functional programming

Autoren: Marino G Succi G

Quelle: Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing. :95-102

Schlagwörter: 11. Sustainability, data parallel execution, parallel functional programming, data parallelism, data structure, bag, 7. Clean energy, 12. Responsible consumption

Zugangs-URL: https://dblp.uni-trier.de/db/conf/spdp/spdp1991.html#MarinoS91
https://hdl.handle.net/11585/897026
https://www.dropbox.com/s/04lgpkz7b5ailq8/Succi.C10.ANewApproachtoParallelFunctionalProgramming.pdf?dl=0

Parallel functional programming in Sisal: Fictions, facts, and future

Weitere Verfasser: McGraw, J

Quelle: Conference: Programming tools for parallel machines workshop,Otranto (Italy),22-26 Jun 1993; Other Information: PBD: 1 Jul 1993

Dateibeschreibung: Medium: ED; Size: 40 p.

Zugangs-URL: http://www.osti.gov/scitech/servlets/purl/10192282

Granularity in large-scale parallel functional programming

Autoren: Loidl, Hans Wolfgang

Schlagwörter: 005, Computer software & programming

Zugangs-URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.241782

Parallel functional programming by declarative partitioning

Autoren: Taylor, Frank Stephen

Schlagwörter: 005, Computer software & programming

Zugangs-URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.264268

Parallel functional programming for message-passing multiprocessors

Autoren: Ostheimer, Gerald Davie, Tony

Weitere Verfasser: Ostheimer, Gerald Davie, Tony

Schlagwörter: 005.1, QA76.6P2O8, Computer programming

Zugangs-URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.741873

Parallel functional programming in Eden

Autoren: Ricardo Peña-Marí Rita Loogen Yolanda Ortega-Mallén

Quelle: Journal of Functional Programming. 15:431-475

Schlagwörter: Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, extension of functional language Haskell, Functional programming and lambda calculus

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/2231170
https://doi.org/10.1017/s0956796805005526

A Cost Calculus for Parallel Functional Programming: A cost calculus for parallel functional programming

Autoren: Wentong Cai David B. Skillicorn

Quelle: Journal of Parallel and Distributed Computing. 28:65-83

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), 02 engineering and technology, parallel functional language

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/799675
https://doi.org/10.1006/jpdc.1995.1089
https://dblp.uni-trier.de/db/journals/jpdc/jpdc28.html#SkillicornC95
https://dl.acm.org/doi/10.1006/jpdc.1995.1089
https://www.sciencedirect.com/science/article/abs/pii/S0743731585710891
https://core.ac.uk/display/24517373

Data-parallel functional programming

Autoren: J.A. Davis S. VanderWiel

Quelle: [1993] Proceedings Seventh International Parallel Processing Symposium. :602-608

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Parallel functional programming at two levels of abstraction

Autoren: Fernando Rubio Ricardo Peña

Quelle: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming. :187-198

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: https://dl.acm.org/doi/10.1145/773184.773204
https://core.ac.uk/display/21550125
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2001.html#PenaR01

Research Directions in Parallel Functional Programming by Kevin Hammond and Greg Michaelson, editors, Springer-Verlag, 1999

Autoren: Rafael Dueire Lins

Quelle: Journal of Functional Programming. 10:501-508

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: http://www.journals.cambridge.org/abstract_S0956796800233777
http://dl.acm.org/citation.cfm?id=967485

Parallel functional programming on recursively defined data via data-parallel recursion

Autoren: Atsushi Ohori Susumu Nishimura

Quelle: Journal of Functional Programming. 9:427-462

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, functional programming, 02 engineering and technology, Functional programming and lambda calculus, functional language, data-parallel processing

Dateibeschreibung: application/xml

Zugangs-URL: https://dl.acm.org/citation.cfm?id=968581
http://www.journals.cambridge.org/abstract_S0956796899003457
https://tohoku.pure.elsevier.com/en/publications/parallel-functional-programming-on-recursively-defined-data-via-d
https://dblp.uni-trier.de/db/journals/jfp/jfp9.html#NishimuraO99
https://dl.acm.org/doi/10.1017/S0956796899003457
http://portal.acm.org/citation.cfm?id=968581

A toolkit for parallel functional programming

Autoren: Hartel, P.H. Hofman, R.F.H. Langendoen, K.G. et al.

Quelle: Concurrency: Practice and Experience. 7:765-793

Schlagwörter: IR-55708, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, EWI-1141

Zugangs-URL: https://ris.utwente.nl/ws/files/6732261/CPE_toolkit.pdf
https://dare.uva.nl/personal/pure/en/publications/a-toolkit-for-parallel-functional-programming(fff42bfe-04a4-4d38-b060-e9946e1caf66).html
https://doi.org/10.1002/cpe.4330070803
https://hdl.handle.net/11245/1.117366
https://research.utwente.nl/en/publications/0d14548a-7a59-4f53-a72d-c8327981ec85
https://doi.org/10.1002/cpe.4330070803

2DT-FP: A parallel functional programming language on two-dimensional data

Autoren: Reinhard Wilhelm Assaf Schuster Gudula Rünger et al.

Quelle: International Journal of Parallel Programming. 23:389-422

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://link.springer.com/article/10.1007%2FBF02577772

Parallel Functional Programming with Arrays

Autoren: Hains, Gaétan Mullin, Lenore

Weitere Verfasser: Hains, Gaétan Mullin, Lenore

Quelle: The Computer Journal. 36:238-245

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, [INFO] Computer Science [cs]

Zugangs-URL: https://academic.oup.com/comjnl/article-pdf/36/3/238/884856/360238.pdf
https://dblp.uni-trier.de/db/journals/cj/cj36.html#HainsM93
https://academic.oup.com/comjnl/article/36/3/238/311555
https://hal.science/hal-04048350v1
https://doi.org/10.1093/comjnl/36.3.238