:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Walck, Scott N.
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	https://arxiv.org/abs/2407.08090
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Finite Functional Programming
por: Arntzenius, Michael, et al.
Publicado: (2026)

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

Category Theory for Programming
por: Ahrens, Benedikt, et al.
Publicado: (2022)

Reactive Programming without Functions
por: Oeyen, Bjarno, et al.
Publicado: (2024)

Debugging Functional Programs by Interpretation
por: Whitington, John
Publicado: (2024)

Functional Logic Program Transformations
por: Hanus, Michael, et al.
Publicado: (2026)

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

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

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

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

Profiling Programming Language Learning
por: Crichton, Will, et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

Functional Python Programming in Introductory Computer Science Courses
por: Sunderraman, Rajshekhar
Publicado: (2025)

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

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

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

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

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

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

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

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

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

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
por: Aberlé, C. B.
Publicado: (2026)

Semantics of Sets of Programs
por: Kim, Jinwoo, et al.
Publicado: (2024)

Laws of Quantum Programming
por: Ying, Mingsheng, et al.
Publicado: (2024)

Programming Not Only by Example
por: Peleg, Hila, et al.
Publicado: (2017)

Comparing Parallel Functional Array Languages: Programming and Performance
por: van Balen, David, et al.
Publicado: (2025)

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