<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>Hi,</p>
<p>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
(<a class="moz-txt-link-freetext" href="https://spls.zulipchat.com/#narrow/channel/227686-UoS/topic/MSP101.20planning">https://spls.zulipchat.com/#narrow/channel/227686-UoS/topic/MSP101.20planning</a>
), especially if you cannot be there on the day!</p>
<p>Cheers,<br>
Fred (who is not at all sending a message to debug a delivery
issue for someone coming from the old mailing list)<br>
</p>
<p><br>
</p>
<div class="moz-cite-prefix">On 13/01/2025 14:55, Dilsat Yuksel
wrote:<br>
</div>
<blockquote type="cite" cite="mid:LOYP265MB20451E1CDDEBEE334ED2CA2CDA1F2@LOYP265MB2045.GBRP265.PROD.OUTLOOK.COM">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style>@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}@font-face
{font-family:Aptos;
panose-1:2 11 0 4 2 2 2 2 2 4;}p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#467886;
text-decoration:underline;}.MsoChpDefault
{mso-style-type:export-only;
font-size:11.0pt;
mso-ligatures:none;
mso-fareast-language:EN-US;}div.WordSection1
{page:WordSection1;}</style>
<div class="WordSection1">
<p class="MsoNormal"><span style="color:black">Hi everyone,<br>
<br>
On Friday, the MSP101 talk will be given by April Gonçalves
(MSP). See the details of the talk below.<o:p></o:p></span></p>
<p class="MsoNormal" style="caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"><br>
Best,<br>
Dilsat<br>
<br>
**********************************************************************<br>
<br>
Date: Friday, 17 January at 13:00<br>
<br>
Room: LT1414a, Livingstone Tower<br>
<br>
Zoom link: <a href="https://strath.zoom.us/j/85449272187?pwd=0qNkQqybiaKgBpbEBRv38x11x4db5n.1" target="_blank" title="https://strath.zoom.us/j/85449272187?pwd=0qNkQqybiaKgBpbEBRv38x11x4db5n.1" moz-do-not-send="true"><span style="color:#96607D">https://strath.zoom.us/j/85449272187?pwd=0qNkQqybiaKgBpbEBRv38x11x4db5n.1</span></a><br>
<br>
Speaker: April Gonçalves<br>
<br>
Title: Type-Sensitive Algebraic Macros<o:p></o:p></span></p>
<p class="MsoNormal" style="caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"><br>
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.<o:p></o:p></span></p>
<p class="MsoNormal" style="caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"><br>
**********************************************************************<o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
<br>
<fieldset class="moz-mime-attachment-header"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
msp-interest mailing list
<a class="moz-txt-link-abbreviated" href="mailto:msp-interest@lists.strath.ac.uk">msp-interest@lists.strath.ac.uk</a>
<a class="moz-txt-link-freetext" href="http://lists.strath.ac.uk/mailman/listinfo/msp-interest">http://lists.strath.ac.uk/mailman/listinfo/msp-interest</a>
</pre>
</blockquote>
</body>
</html>