Designing Extensible, Domain-Specific Languages for Mathematical Diagrams
Katherine Ye, Keenan Crane, Jonathan Aldrich, Joshua Sunshine
Off the Beaten Track ’17 (co-located with POPL) (2017)
teaser


Katherine Ye, Keenan Crane, Jonathan Aldrich, Joshua Sunshine (2017). Designing Extensible, Domain-Specific Languages for Mathematical Diagrams. Off the Beaten Track ’17 (co-located with POPL).