LambdaGo: A Functional Extension of the Go Programming Language

Συγγραφείς: Olteanu, Vlad, Oprisa, Ciprian

Πηγή: 2025 29th International Conference on System Theory, Control and Computing (ICSTCC) System Theory, Control and Computing (ICSTCC), 2025 29th International Conference on. :55-60 Oct, 2025

Relation: 2025 29th International Conference on System Theory, Control and Computing (ICSTCC)

Cross-Platform Rust Based Implementation of GPU-Accelerated Importance Resampling Path Traced Illumination

Συγγραφείς: Georgiev, Georgi Georgiev

Πηγή: 2025 13th International Scientific Conference on Computer Science (COMSCI) Computer Science (COMSCI), 2025 13th International Scientific Conference on. :1-5 Sep, 2025

Relation: 2025 13th International Scientific Conference on Computer Science (COMSCI)

Ray Tracing Through Functional Programming Language Using OCaml with Comparative Performance Analysis

Συγγραφείς: Mukherjee, Poulomi, Raj, Aditya, Tewari, Babul P.

Πηγή: 2025 International Conference on Computing, Intelligence, and Application (CIACON) Computing, Intelligence, and Application (CIACON), 2025 International Conference on. :1-6 Jul, 2025

Relation: 2025 International Conference on Computing, Intelligence, and Application (CIACON)

Fuzzy Linguistic LINQ

Συγγραφείς: Bartczuk, Lukasz

Πηγή: 2025 IEEE International Conference on Fuzzy Systems (FUZZ) Fuzzy Systems (FUZZ), 2025 IEEE International Conference on. :1-4 Jul, 2025

Relation: 2025 IEEE International Conference on Fuzzy Systems (FUZZ)

Exploring the Basic Principles of Functional and Object-Oriented Programming

Συγγραφείς: Nikolaeva, Dimitrichka

Πηγή: 2025 XXXIV International Scientific Conference Electronics (ET) Scientific Conference Electronics (ET), 2025 XXXIV International. :1-6 Sep, 2025

Relation: 2025 XXXIV International Scientific Conference Electronics (ET)

Integrated Serverless Avionics: Next Generation Architecture for Airborne Software

Συγγραφείς: Friedrich, Sven, Schubert, Tim, Hoche, Michael W., Bar, Nicolaus, Zaeske, Wanja, Bork, Pascal, Durak, Umut

Πηγή: 2025 AIAA DATC/IEEE 44th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2025 AIAA DATC/IEEE 44th. :1-10 Sep, 2025

Relation: 2025 AIAA DATC/IEEE 44th Digital Avionics Systems Conference (DASC)

LAZY EVALUATION AND INFINITE DATA STRUCTURES IN FUNCTIONAL LANGUAGES.

Συγγραφείς: Hajiyeva, Rahima¹

Πηγή: German International Journal of Modern Science / Deutsche Internationale Zeitschrift für Zeitgenössische Wissenschaft. Nov2025, Issue 116, p82-84. 3p.

Θεματικοί όροι: *DATA structures, FUNCTIONAL programming (Computer science), COMPUTER memory management

Application of Monadic Calculations in Solving Numerical Problems.

Συγγραφείς: Krasnov, M. M.¹ (AUTHOR) kmm@kiam.ru

Πηγή: Programming & Computer Software. Oct2025, Vol. 51 Issue 5, p297-304. 8p.

Θεματικοί όροι: *FUNCTIONAL programming (Computer science), *NUMERICAL calculations, *PROBLEM solving, *C++

Beamforming in Multi-User CAPA Communications: A Channel Subspace-Based Approach

Συγγραφείς: Zhao, Jingjing, Song, Haowen, Cai, Kaiquan, Zhu, Yanbo

Πηγή: 2025 URSI Asia-Pacific Radio Science Meeting (AP-RASC) URSI Asia-Pacific Radio Science Meeting (AP-RASC), 2025. :1-3 Aug, 2025

Relation: 2025 URSI Asia-Pacific Radio Science Meeting (AP-RASC)

Suspicious Types and Bad Neighborhoods: Filtering Spectra with Compiler Information

Συγγραφείς: Applis, Leonhard, Gissurarson, Matthias Pall, Panichella, Annibale

Πηγή: 2025 IEEE Conference on Software Testing, Verification and Validation (ICST) Software Testing, Verification and Validation (ICST), 2025 IEEE Conference on. :233-243 Mar, 2025

Relation: 2025 IEEE Conference on Software Testing, Verification and Validation (ICST)

Cross-Platform Functional Programming Real-Time Path Tracing Rendering Engine

Συγγραφείς: Georgiev, Georgi G., Lazarova, Milena K.

Πηγή: 2025 60th International Scientific Conference on Information, Communication and Energy Systems and Technologies (ICEST) Information, Communication and Energy Systems and Technologies (ICEST), 2025 60th International Scientific Conference on. :1-4 Jun, 2025

Relation: 2025 60th International Scientific Conference on Information, Communication and Energy Systems and Technologies (ICEST)

Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs

Συγγραφείς: Tiurin, Aleksei, Barrett, Chris, Ghica, Dan R., Hu, Nick

Πηγή: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) LICS Logic in Computer Science (LICS), 2025 40th Annual ACM/IEEE Symposium on. :209-222 Jun, 2025

Relation: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Gradual Sensitivity Typing

Συγγραφείς: Arquez, Damian, Toro, Matias, Tanter, Eric

Πηγή: 2025 IEEE 38th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2025 IEEE 38th. :553-568 Jun, 2025

Relation: 2025 IEEE 38th Computer Security Foundations Symposium (CSF)

Session Types for the Concurrent Composition of Interactive Differential Privacy

Συγγραφείς: Sannier, Victor, Baillot, Patrick, Gaboardi, Marco

Πηγή: 2025 IEEE 38th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2025 IEEE 38th. :113-126 Jun, 2025

Relation: 2025 IEEE 38th Computer Security Foundations Symposium (CSF)

Continuous Aperture Array (CAPA) Beamforming: A Calculus of Variations Method

Συγγραφείς: Wang, Zhaolin, Ouyang, Chongjun, Zou, Yixuan, Liu, Yuanwei

Πηγή: ICC 2025 - IEEE International Conference on Communications Communications, ICC 2025 - IEEE International Conference on. :6267-6271 Jun, 2025

Relation: ICC 2025 - IEEE International Conference on Communications

To Abstract or Not to Abstract? A Comparative Study Evaluating the User Experience of Spreadsheet Programming with Sheet-Defined Functional Abstractions.

Συγγραφείς: Kudebayeva, Anel¹ (AUTHOR) anel.kudebayeva@qmul.ac.uk, Harte, Christopher¹ (AUTHOR), Bryan-Kinns, Nick² (AUTHOR), Stockman, Tony¹ (AUTHOR)

Πηγή: International Journal of Human-Computer Interaction. May2025, Vol. 41 Issue 9, p5445-5461. 17p.

Θεματικοί όροι: *TASK performance, FUNCTIONAL programming (Computer science), USER experience, WEB-based user interfaces, VIDEO recording

Integration of LLM and ReAct Agents for Enhanced Context Oriented Programming

Συγγραφείς: Moniruzzaman, Md, Alam, Alima M.

Πηγή: 2024 27th International Conference on Computer and Information Technology (ICCIT) Computer and Information Technology (ICCIT), 2024 27th International Conference on. :2969-2973 Dec, 2024

Relation: 2024 27th International Conference on Computer and Information Technology (ICCIT)

Modularity and Lazy Evaluation in Nixos: A Functional Approach to Operating System Configuration

Συγγραφείς: Singh, Nikhil, Baghel, Anurag Singh, Mishara, Priyanka

Πηγή: 2025 International Conference on Cognitive Computing in Engineering, Communications, Sciences and Biomedical Health Informatics (IC3ECSBHI) Cognitive Computing in Engineering, Communications, Sciences and Biomedical Health Informatics (IC3ECSBHI), 2025 International Conference on. :415-419 Jan, 2025

Relation: 2025 International Conference on Cognitive Computing in Engineering, Communications, Sciences and Biomedical Health Informatics (IC3ECSBHI)

MonoSR: A Monoidal-Monad Pattern for Bridging Gaps in Developer Communication and Code Semantics

Συγγραφείς: Csapo, Adam B.

Πηγή: 2024 IEEE 15th International Conference on Cognitive Infocommunications (CogInfoCom) Cognitive Infocommunications (CogInfoCom), 2024 IEEE 15th International Conference on. :000051-000058 Sep, 2024

Relation: 2024 IEEE 15th International Conference on Cognitive Infocommunications (CogInfoCom)

Exploring the Properties of Finit Coproduct in the Category of Riesz Modules: A Semantic Approach to Denotational Semantics in Functional Programming Languages

Συγγραφείς: Lei, Huangrui, Tang, Jiangang, Liu, Jiyu

Πηγή: 2024 International Conference on Intelligent Computing and Data Analytics (ICDA) ICDA Intelligent Computing and Data Analytics (ICDA), 2024 International Conference on. :68-73 Sep, 2024

Relation: 2024 International Conference on Intelligent Computing and Data Analytics (ICDA)