ICFP/SPLASH 2025 (series) / Scheme 2025 (series) / Scheme 2025 /
miniDusa: An Extensible Finite-Choice Logic Programming Language (Lightning Talk)
This program is tentative and subject to change.
Thu 16 Oct 2025 16:30 - 16:40 at Peony NW - Report, Lightning Talks, and Keynote
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 |
This program is tentative and subject to change.
Thu 16 OctDisplayed time zone: Perth change
Thu 16 Oct
Displayed time zone: Perth change
16:00 - 17:30 | |||
16:00 20mTalk | Scheme Reports at Fifty: Where do we go from here?Remote Scheme | ||
16:20 10mTalk | 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 10mTalk | miniDusa: An Extensible Finite-Choice Logic Programming Language (Lightning Talk) Scheme File Attached | ||
16:40 50mKeynote | Keynote Scheme Michael D. Adams National University of Singapore |