Proceedings of the 2020 Scheme and Functional Programming Workshop
Baptiste Saleil, Michael D. Adams
TL;DR
This report compiles research papers from the 2020 Scheme and Functional Programming Workshop, highlighting recent advances and discussions in Scheme and related functional programming languages.
Contribution
It provides an overview of current research and future directions in Scheme and functional programming through aggregated workshop papers.
Findings
Summarizes recent research in Scheme and functional programming.
Highlights future research directions and community discussions.
Showcases diverse approaches and innovations in the field.
Abstract
This report aggregates the papers presented at the twenty-first annual Scheme and Functional Programming Workshop, hosted on August 28th, 2020, online and co-located with the twenty-fifth International Conference on Functional Programming. The Scheme and Functional Programming Workshop is held every year to provide an opportunity for researchers and practitioners using Scheme and related functional programming languages like Racket, Clojure, and Lisp, to share research findings and discuss the future of the Scheme programming language.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Parallel Computing and Optimization Techniques · Formal Methods in Verification