Cover Image

Proceedings 14th International Workshop on Trends in Functional Programming in Education

Fuente: arXiv

Saved in:

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

Similar Items

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

Programming Language Case Studies Can Be Deep
by: Bohrer, Rose
Published: (2024)

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

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

Proceedings 13th International Workshop on Developments in Computational Models
by: Alves, Sandra, 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 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
by: Costa, Diana, et al.
Published: (2024)

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

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)

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 of the 12th Workshop on Horn Clauses for Verification and Synthesis
by: De Angelis, Emanuele, et al.
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 Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
by: Chaudhuri, Kaustuv, et al.
Published: (2025)

Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024)
by: Manea, Florin, et al.
Published: (2024)

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

Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications
by: Moreira, Nelma, et al.
Published: (2025)

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

Pronoun Logic
by: Bohrer, Rose, et al.
Published: (2024)

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

Proceedings 9th edition of Working Formal Methods Symposium
by: Arusoaie, Andrei, et al.
Published: (2025)

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

Functional Logic Program Transformations
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)

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)

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

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

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)

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
by: Rose, Abhishek, 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)

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)

Proceedings The 13th International Workshop on Theorem proving components for Educational software
by: Narboux, Julien, et al.
Published: (2025)