[msp-interest] [MSP101] April Gonçalves: A quick & dirty look at at abstract syntax with binders and metavariables (LT210, 3pm Tue 22-Apr)

[Dilsat Yuksel]

Hi,

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

Best,
Dilsat

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

Date: Tuesday, 22 March at 15:00

Room: LT210, Livingstone Tower

Zoom link: https://strath.zoom.us/j/85449272187?pwd=0qNkQqybiaKgBpbEBRv38x11x4db5n.1
Live stream on Youtube: https://www.youtube.com/@msp101strathclyde4

Speaker: April Gonçalves

Title: A quick & dirty look at at abstract syntax with binders and metavariables

Abstract: In this talk, I will show the (categorical) semantics of Fiore and collaborators’ “Second-Order Abstract Syntax with Binders” and of McBride and collaborators’ “Universe of Syntaxes with Bindings”. I will also compare them under multiple criteria (literature, usage, meta theory and implementation/formalisation), with special focus on how both approaches handle metavariables by using System F as our main example. (Please beware it’s a work in progress, and many details haven’t been worked out yet)

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.strath.ac.uk/archives/msp-interest/attachments/20250416/31eb182d/attachment.html