Cover Image

Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Chang, Stephen
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Proceedings of the 2024 miniKanren and Relational Programming Workshop
by: Verbitskaia, Ekaterina, et al.
Published: (2024)

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

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
by: Costa, Diana, et al.
Published: (2024)

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
by: Peters, Kirstin, et al.
Published: (2026)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
by: Derakhshan, Farzaneh, et al.
Published: (2025)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
by: Saurin, Alexis
Published: (2025)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
by: Nerode, Anil, et al.
Published: (2024)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
by: Endrullis, Jörg, et al.
Published: (2025)

Proceedings 16th International Workshop on Graph Computation Models
by: Lambers, Leen, et al.
Published: (2026)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
by: Chaudhuri, Kaustuv, et al.
Published: (2025)

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
by: Lang, Frédéric, et al.
Published: (2024)

Proceedings 13th International Workshop on Developments in Computational Models
by: Alves, Sandra, et al.
Published: (2024)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
by: De Angelis, Emanuele, et al.
Published: (2025)

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

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
by: Kutsia, Temur, et al.
Published: (2024)

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)

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

Optimal Program Synthesis via Abstract Interpretation
by: Mell, Stephen, et al.
Published: (2026)

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

Two Approaches for Programming Education in the Domain of Graphics: An Experiment
by: Chiodini, Luca, et al.
Published: (2025)

Practical Formal Verification for MLIR Programs
by: Tucker, Emily, et al.
Published: (2026)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
by: Flanagan, Cormac, et al.
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)

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

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

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
by: Liu, Chang, et al.
Published: (2023)

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
by: Chen, Ethan, et al.
Published: (2024)

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)

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
by: Galasso-Carbonnel, Jessie, et al.
Published: (2023)

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)

Mixing Visual and Textual Code
by: Andersen, Leif, et al.
Published: (2026)

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