YellowSquid

Contact

Email (Academic)
greg.brown01@ed.ac.uk
Email (Hacking)
yellowsquid@yellowsquid.uk
GitHub
https://github.com/yellowsquid
ORCID
0009-0000-3401-8637

About

I am Greg Brown, a PhD student with LFCS at the University of Edinburgh. My research is on programming languages, with a particular focus on the denotational semantics of partial evaluation.

Papers

A Fuelled Self-Reducer for System T (Short Paper)
Accepted at PEPM 2025.

Talks

Freely Extending Interpreters
Presented at the November 2024 meeting of SPLS.