Programming by Examples: PL Meets ML
Abstract elided by the publisher.
Related papers
- Model-View-Update-Communicate: Session Types Meet the Elm Architecture ECOOP 2020
- Type-and-example-directed program synthesis PLDI 2015
- Multi-modal Sketch-Based Behavior Tree Synthesis OOPSLA 2025
- The Process Trellis Architectur for Real-Time Monitors PPoPP 1990
- Synthesizing data structure transformations from input-output examples PLDI 2015
- Monoids: theme and variations (functional pearl) Haskell 2012
- Example-based validation of domain-specific visual languages SLE 2015
- Manufacturing datatypes JFP 2001