ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Thu 16 Oct 2025 16:30 - 16:40 at Peony NW - Report, Lightning Talks, and Keynote Chair(s): Youyou Cong, Olivier Danvy

Dusa is a recently designed logic programming language featuring mutually exclusive choice as a primitive to admit multiple solutions which capture a range of possibilities. We introduce miniDusa, a Dusa-inspired hosted domain-specific language (DSL) implemented using Racket and the syntax-spec metalanguage. This architecture lets us provide extensibility and expressivity features through integration with Racket, essentially “for free”.

Talk abstract (paper8.pdf)64KiB

Thu 16 Oct

Displayed time zone: Perth change

16:00 - 17:30
Report, Lightning Talks, and KeynoteScheme at Peony NW
Chair(s): Youyou Cong Institute of Science Tokyo, Olivier Danvy Yale-NUS College and School of Computing, Singapore
16:00
20m
Talk
Scheme Reports at Fifty: Where do we go from here?Remote
Scheme
16:20
10m
Talk
Brack: A Verified Compiler for Scheme via CakeML (Lightning Talk)
Scheme
Pascal Lasnier University of Cambridge, Jeremy Yallop University of Cambridge, Magnus O. Myreen Chalmers University of Technology
File Attached
16:30
10m
Talk
miniDusa: An Extensible Finite-Choice Logic Programming Language (Lightning Talk)
Scheme
Ari Prakash Northeastern University, Zachary Eisbach Northeastern University
File Attached
16:40
50m
Keynote
Scheme and New Frontiers for Language Design
Scheme
Michael D. Adams National University of Singapore