Copertina

Functional Programming in Learning Electromagnetic Theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Walck, Scott N.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Finite Functional Programming
di: Arntzenius, Michael, et al.
Pubblicazione: (2026)

Reactive Programming without Functions
di: Oeyen, Bjarno, et al.
Pubblicazione: (2024)

Debugging Functional Programs by Interpretation
di: Whitington, John
Pubblicazione: (2024)

Functional Logic Program Transformations
di: Hanus, Michael, et al.
Pubblicazione: (2026)

A Pure Demand Operational Semantics with Applications to Program Analysis
di: Smith, Scott, et al.
Pubblicazione: (2023)

Category Theory for Programming
di: Ahrens, Benedikt, et al.
Pubblicazione: (2022)

A Monadic Implementation of Functional Logic Programs
di: Hanus, Michael, et al.
Pubblicazione: (2026)

Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education
di: Chang, Stephen
Pubblicazione: (2024)

Proving Functional Program Equivalence via Directed Lemma Synthesis
di: Sun, Yican, et al.
Pubblicazione: (2024)

Functional Reactive Programming with Effects, A More Permissive Approach
di: Dabrowski, Frédéric, et al.
Pubblicazione: (2025)

Profiling Programming Language Learning
di: Crichton, Will, et al.
Pubblicazione: (2024)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
di: Bagrel, Thomas
Pubblicazione: (2026)

Proceedings 14th International Workshop on Trends in Functional Programming in Education
di: Bohrer, Rose
Pubblicazione: (2025)

Active Learning for Neurosymbolic Program Synthesis
di: Barnaby, Celeste, et al.
Pubblicazione: (2025)

Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study
di: Zhang, Yihan, et al.
Pubblicazione: (2026)

Learning Task Decomposition to Assist Humans in Competitive Programming
di: Wen, Jiaxin, et al.
Pubblicazione: (2024)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
di: Geißler, Dominik, et al.
Pubblicazione: (2025)

Leroy: Library Learning for Imperative Programming Languages
di: Bellur, Abhiram, et al.
Pubblicazione: (2024)

Data-Driven Invariant Learning for Probabilistic Programs
di: Bao, Jialu, et al.
Pubblicazione: (2021)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
di: Böhler, Timon, et al.
Pubblicazione: (2026)

GATlab: Modeling and Programming with Generalized Algebraic Theories
di: Lynch, Owen, et al.
Pubblicazione: (2024)

Exploiting Code Symmetries for Learning Program Semantics
di: Pei, Kexin, et al.
Pubblicazione: (2023)

Visualizing the Evaluation of Functional Programs for Debugging
di: Whitington, John, et al.
Pubblicazione: (2024)

Functional Python Programming in Introductory Computer Science Courses
di: Sunderraman, Rajshekhar
Pubblicazione: (2025)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
di: Teuber, Samuel, et al.
Pubblicazione: (2025)

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
di: Xia, Li-yao, et al.
Pubblicazione: (2024)

Functional Array Programming in an Extended Pi-Calculus
di: Hüttel, Hans, et al.
Pubblicazione: (2024)

Newtonian Program Analysis of Probabilistic Programs
di: Wang, Di, et al.
Pubblicazione: (2023)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
di: Flanagan, Cormac, et al.
Pubblicazione: (2024)

C Analyzer : A Static Program Analysis Tool for C Programs
di: Solanki, Rajendra Kumar
Pubblicazione: (2024)

Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
di: Nongkhai, Lalita Na, et al.
Pubblicazione: (2025)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
di: Jia, Xiaodong, et al.
Pubblicazione: (2024)

Semantics of Sets of Programs
di: Kim, Jinwoo, et al.
Pubblicazione: (2024)

Laws of Quantum Programming
di: Ying, Mingsheng, et al.
Pubblicazione: (2024)

Programming Not Only by Example
di: Peleg, Hila, et al.
Pubblicazione: (2017)

Productive Quantum Programming Needs Better Abstract Machines
di: Núñez-Corrales, Santiago, et al.
Pubblicazione: (2025)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
di: Warren, David S., et al.
Pubblicazione: (2024)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
di: Moine, Alexandre, et al.
Pubblicazione: (2025)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
di: Klinkenberg, Lutz, et al.
Pubblicazione: (2023)

Aspect-oriented Programming with Julia
di: Ishimura, Osamu, et al.
Pubblicazione: (2024)