corpus.blog
41554 blogs · 4,756,248 posts Claim your blog
Record · corpus.blog/posts/01a0878d-5f23-7159-b769-f4f930ccdb2e

1001 Representations of Syntax with Binding

jesper.sikanda.be · published undated

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at jesper.sikanda.be Wayback capture
3blogs citing
First cited
14 Feb 2025
Most recent
22 Oct 2025
Rank this month
not ranked
Links from this post
24
Words captured
19,684

Cited by

Blog
In the post
Date
moonythm.dev
Different Dimension Fathomings (Fall 2025 Edition) Read at the source ↗
22 Oct 2025
blueberrywren.dev
Debruijn indexes and levels, and why they're handy Read at the source ↗
26 May 2025
zanzix.github.io
Compiler Engineering for Substructural Languages I: The Problem with Polymorphism Read at the source ↗
14 Feb 2025

Links from this post

Link
Host
https://researchr.org/bibliography/variable-binding/publications
researchr.org
https://www.win.tue.nl/automath/archive/pdf/aut029.pdf
win.tue.nl
http://www.chargueraud.org/research/2009/ln/main.pdf
chargueraud.org
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.53.2065&rep=rep1&type=pdf
citeseerx.ist.psu.edu
https://github.com/MetaCoq/metacoq/blob/coq-8.11/pcuic/theories/PCUICAst.v
github.com
http://dx.doi.org/10.1016/j.tcs.2004.06.016
dx.doi.org
https://dl.acm.org/doi/pdf/10.1145/960116.54010
dl.acm.org
http://www.twelf.org/
twelf.org
http://complogic.cs.mcgill.ca/beluga/
complogic.cs.mcgill.ca
https://deducteam.github.io/
deducteam.github.io
http://doi.acm.org/10.1145/1411204.1411226
doi.acm.org
https://github.com/gallais/generic-syntax
github.com
https://agda.readthedocs.io/en/v2.6.2/language/reflection.html
agda.readthedocs.io
https://github.com/idris-lang/Idris2/blob/21ca9066f13e3b9f8c6be28774a91f43bb68d51d/src/Core/TT.idr
github.com
http://doi.acm.org/10.1145/2034773.2034817
doi.acm.org
https://dl.acm.org/doi/pdf/10.1145/99370.99404
dl.acm.org
https://doi.org/10.1145/3276484
doi.org
https://nicolaspouillard.fr/publis/namely-painless-defense-version.pdf
nicolaspouillard.fr
https://agda.readthedocs.io/en/v2.6.2/language/record-types.html
agda.readthedocs.io
https://arxiv.org/abs/1807.04085v1
arxiv.org
https://agda.readthedocs.io/en/latest/language/reflection.html
agda.readthedocs.io
NWO Veni Grant on A Trustworthy and Extensible Core Language for Agda Read at the source ↗
jesper.sikanda.be
https://agda.zulipchat.com
agda.zulipchat.com
https://twitter.com/agdakx
twitter.com