:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Walck, Scott N.
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2407.08090
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Finite Functional Programming
by: Arntzenius, Michael, et al.
Published: (2026)

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

Category Theory for Programming
by: Ahrens, Benedikt, et al.
Published: (2022)

Reactive Programming without Functions
by: Oeyen, Bjarno, et al.
Published: (2024)

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

Functional Logic Program Transformations
by: Hanus, Michael, et al.
Published: (2026)

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

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

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

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

Profiling Programming Language Learning
by: Crichton, Will, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

Functional Python Programming in Introductory Computer Science Courses
by: Sunderraman, Rajshekhar
Published: (2025)

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

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

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

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

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

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

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

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

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

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

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)

Laws of Quantum Programming
by: Ying, Mingsheng, et al.
Published: (2024)

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

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

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