Search Results - Parallel functional programming
-
1
Authors:
Contributors:
Subject Terms: Processes, QA75, Explicit, QA75 Electronic computers. Computer science, Concurrency, Parallelism, Idris, Skeletons, Dependent types, Implicit, AC
File Description: application/pdf
Access URL: https://hdl.handle.net/10023/32678
-
2
Authors:
Source: Proceedings of the 1st International Workshop on Large Language Models for Code. :102-110
-
3
Authors:
Source: Proceedings of the ACM on Programming Languages. 7:1558-1583
-
4
Authors:
Source: 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 .
Subject Terms: Idris, Parallelism, Dependent types, Concurrency, Skeletons, Implicit, Explicit, Processes
File Description: application/pdf
-
5
Authors:
Source: Proceedings of the ACM on Programming Languages. 5:1-33
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Access 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 -
6
Authors:
Contributors:
Source: 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
-
7
Authors:
Source: Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing. :95-102
Subject Terms: 11. Sustainability, data parallel execution, parallel functional programming, data parallelism, data structure, bag, 7. Clean energy, 12. Responsible consumption
-
8
Contributors: McGraw, J
Source: Conference: Programming tools for parallel machines workshop,Otranto (Italy),22-26 Jun 1993; Other Information: PBD: 1 Jul 1993
File Description: Medium: ED; Size: 40 p.
-
9
Authors:
Source: Journal of Functional Programming. 9:427-462
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, functional programming, 02 engineering and technology, Functional programming and lambda calculus, functional language, data-parallel processing
File Description: application/xml
Access 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 -
10
Authors:
Source: Journal of Functional Programming. 15:431-475
Subject Terms: 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
File Description: application/xml
-
11
-
12
-
13
-
14
-
15
Authors:
Source: Journal of Parallel and Distributed Computing. 28:65-83
Subject Terms: 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
File Description: application/xml
-
16
Authors: et al.
Source: Logical Methods in Computer Science, Vol 19, Issue 1 (2023)
Subject Terms: computer science - distributed, parallel, and cluster computing, computer science - logic in computer science, computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
File Description: electronic resource
-
17
Authors: Henry, Sylvain
Contributors: Henry, Sylvain
Source: Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing. :3-12
Subject Terms: High-Performance Computing, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Heterogeneous Architectures, Parallel Functional Programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
File Description: application/pdf
-
18
Authors:
Source: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming. :187-198
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
19
Authors:
Source: [1993] Proceedings Seventh International Parallel Processing Symposium. :602-608
-
20
Nájsť tento článok vo Web of Science
Full Text Finder