ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Fri 8 Sep 2023 10:00 - 10:30 at Vashon 2 - FARM Session 1 Chair(s): John Leo, Mae Milano

Visualizations are a critical part of mathematics practice and education, and computers and open-source web technologies provide accessible ways to create high-quality mathematics visualizations at virtually no cost. However libraries and languages to create visualizations for mathematics are typically fine-grained, low-level, and targeted to vector graphics domain experts or web developers, not mathematics students or teachers or end-users. We present demos of a functional domain-specific language interface to the JSXGraph visualization library embedded in F# that emphasizes readability, composability, and the ability of end-users to easily create and manipulate elements of high-quality interactive mathematics visualizations without needing vector graphics or web development domain knowledge.

Fri 8 Sep

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
FARM Session 1FARM at Vashon 2
Chair(s): John Leo Halfaya Research, Mae Milano University of California at Berkeley
09:00
30m
Talk
Weighted Refinement Types for Counterpoint CompositionRecorded
FARM
Youyou Cong Tokyo Institute of Technology
DOI
09:30
30m
Talk
The Beauty and Elegance of Functional Reactive Animation
FARM
Ivan Perez NASA Ames Research Center
DOI
10:00
30m
Talk
Demo: A functional EDSL for mathematics visualization that compiles to JavaScriptRecorded
FARM
Allister Beharry University of London
DOI Pre-print Media Attached