[msp-interest] [MSP101] April Gonçalves: Type-Sensitive Algebraic Macros (LT1414a, 1pm Fri 17-Jan)

[Dilsat Yuksel]

Hi everyone,

On Friday, the MSP101 talk will be given by April Gonçalves (MSP). See the details of the talk below.

Best,
Dilsat

**********************************************************************

Date: Friday, 17 January at 13:00

Room: LT1414a, Livingstone Tower

Zoom link: https://strath.zoom.us/j/85449272187?pwd=0qNkQqybiaKgBpbEBRv38x11x4db5n.1

Speaker: April Gonçalves

Title: Type-Sensitive Algebraic Macros

Abstract: Despite recent advances made by Idris and Lean teams, metaprogramming in a typed language is still hard, frustrating and error-prone. In this short paper, we investigate a new view on macros via a type-sensitive algebraic theory for typechecker scripting for a more principled approach to type-directed macros. We show that our theory encodes typechecking and elaboration for STλC, and from there, we build two other variations, Bidirectional STλC and Search-based Type Inference, to showcase the versatility of our framework. Our results are implemented in Agda.

**********************************************************************

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.strath.ac.uk/archives/msp-interest/attachments/20250113/7dac1270/attachment.html