Proceedings of the 2020 Scheme and Functional Programming Workshop

2021/01/17 by Baptiste Saleil, Michael D. Adams, Saleil, Baptiste +1
Computer Science · #D.3.m #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)

paper · pdf · doi:10.48550/arxiv.2101.06759

openalex publication_date 2021/01/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Citations

• Very Deep Convolutional Networks for Large-Scale Image Recognition
• PyTorch: An Imperative Style, High-Performance Deep Learning Library

Related

• Proceedings of The 2023 Scheme and Functional Programming Workshop
• Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)
• Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)
• Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)
• Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)