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

[Fredrik Nordvall Forsberg]

Hi,

As mentioned on Zulip, we will also have the 101 planning meeting for 
the upcoming semester after April's talk. Pre-planning is encouraged in 
the #UoS channel on Zulip 
(https://spls.zulipchat.com/#narrow/channel/227686-UoS/topic/MSP101.20planning 
), especially if you cannot be there on the day!

Cheers,
Fred (who is not at all sending a message to debug a delivery issue for 
someone coming from the old mailing list)


On 13/01/2025 14:55, Dilsat Yuksel wrote:
>
> 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 
> <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.
>
>
> **********************************************************************
>
>
> _______________________________________________
> msp-interest mailing list
> msp-interest at lists.strath.ac.uk
> http://lists.strath.ac.uk/mailman/listinfo/msp-interest
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.strath.ac.uk/archives/msp-interest/attachments/20250114/ec369fdf/attachment.html