Treffer 1 - 20
von 100.539
Modular GPU Programming with Typed Perspectives
Bansal, Manya ; Sainati, Daniel ; Cutler, Joseph W. ; et al.
MLIR-Forge: A Modular Framework for Language Smiths
Ates, Berke ; Schaad, Philipp ; Schneider, Timo ; et al.
A Modular Approach to Metatheoretic Reasoning for Extensible Languages.
Michaelson, Dawn ; Nadathur, Gopalan ; Van Wyk, Eric
ACM Transactions on Programming Languages & Systems. Sep2025, Vol. 47 Issue 3, p1-56. 56p.
MoTCoder: Elevating Large Language Models with Modular of Thought for Challenging Programming Tasks
Li, Jingyao ; Chen, Pengguang ; Xia, Bin ; et al.
Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
Laurent, Jonathan ; Platzer, André
Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
Goldstein, Oliver ; Kammar, Ohad
Developing a Modular Compiler for a Subset of a C-like Language
Dutta, Debasish ; Sonowal, Neeharika ; Hazarika, Irani
Prompt Engineering as Code (PEaC): an approach for building modular, reusable, and portable prompts
Perrone, Gaetano ; Romano, Simon Pietro
2024 2nd International Conference on Foundation and Large Language Models (FLLM) Foundation and Large Language Models (FLLM), 2024 2nd International Conference on. :289-294 Nov, 2024
Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
Fiore, Marcelo P. ; Kammar, Ohad ; Moser, Georg ; et al.
Electronic Notes in Theoretical Informatics and Computer Science, Volume 5 - Proceedings of MFPS XLI (December 20, 2025) entics:16879
The Rational Programmer: Investigating Programming Language Pragmatics.
Dimoulas, Christos ; Felleisen, Matthias
Communications of the ACM. Jul2025, Vol. 68 Issue 7, p120-130. 11p.
Type-Safe Compilation of Dynamic Inheritance via Merging.
Sun, Yaozhu ; Huang, Xuejing ; Oliveira, Bruno C. D. S.
ACM Transactions on Programming Languages & Systems. Dec2025, Vol. 47 Issue 4, p1-70. 70p.
A Modular Approach to Metatheoretic Reasoning for Extensible Languages
Michaelson, Dawn ; Nadathur, Gopalan ; Van Wyk, Eric
Modular Programming in C for MCU
Zhao, Peng ; Zhang, Yongming ; Chen, Yunkang ; et al.
2025 5th International Conference on Electronic Information Engineering and Computer Science (EIECS) Electronic Information Engineering and Computer Science (EIECS), 2025 5th International Conference on. :1254-1259 Sep, 2025
Eliom: A Language for Modular Tierless Web Programming
Radanne, Gabriel ; Vouillon, Jérôme ; Balat, Vincent
Pyrosome: Verified Compilation for Modular Metatheory
Jamner, Dustin ; Kammer, Gabriel ; Nag, Ritam ; et al.
From Weberian Rationalization to JavaScript Components: Modularism in Academic Library Software.
Eaton, Mark E.
Information Technology & Libraries; Sep2025, Vol. 44 Issue 3, p1-12, 12p
A Logical Approach to Type Soundness.
Timany, Amin ; Krebbers, Robbert ; Dreyer, Derek ; et al.
Journal of the ACM. Dec2024, Vol. 71 Issue 6, p1-75. 75p.