Cover Image

Finite Functional Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Arntzenius, Michael, Willsey, Max
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Stream programs are monoid homomorphisms with state
by: Hou, Tyler, et al.
Published: (2025)

Finite-Choice Logic Programming
by: Martens, Chris, et al.
Published: (2024)

Fair intersection of seekable iterators
by: Arntzenius, Michael
Published: (2025)

Optimism in Equality Saturation
by: Arbore, Russel, et al.
Published: (2025)

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)

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

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

Functional Programming in Learning Electromagnetic Theory
by: Walck, Scott N.
Published: (2024)

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)

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)

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

Automated Expected Cost Analysis for Quantum Programs
by: Moser, Georg, et al.
Published: (2026)

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

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

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

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)

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

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

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

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
by: Foo, Yong Qi, et al.
Published: (2025)

Inferring Non-Failure Conditions for Declarative Programs
by: Hanus, Michael
Published: (2024)

Can Language Models Solve Olympiad Programming?
by: Shi, Quan, et al.
Published: (2024)

Pourquoi existe-t-il de nombreux paradigmes de programmation ?
by: Plaisant, Oscar, et al.
Published: (2024)

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)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
by: Moine, Alexandre, 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)

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

Reduction for Structured Concurrent Programs
by: Gangamreddypalli, Namratha, et al.
Published: (2026)

Extensibility in Programming Languages: An overview
by: Nicolajsen, Sebastian mateos
Published: (2025)

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

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

Multi-Language Probabilistic Programming
by: Stites, Sam, et al.
Published: (2025)

Synchronous Programming with Refinement Types
by: Chen, Jiawei, et al.
Published: (2024)

Real-Time Probabilistic Programming
by: Hummelgren, Lars, et al.
Published: (2023)