corpus.blog
Claim your blog
Record · corpus.blog/posts/01a08c66-6d08-7273-b4ab-77768311b4f9

Compiler Engineering for Substructural Languages I: The Problem with Polymorphism

zanzix.github.io · published 14 February 2025

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 zanzix.github.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
11
Words captured
6,483

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://glaive-research.org/
glaive-research.org
https://arxiv.org/abs/2406.14719
arxiv.org
1001 Representations of Syntax with Binding Read at the source ↗
jesper.sikanda.be
https://arxiv.org/abs/1807.04085
arxiv.org
https://studenttheses.uu.nl/bitstream/handle/20.500.12932/44219/thesis-final-matthias-heinzel.pdf?sequence=1&isAllowed=y
studenttheses.uu.nl
https://gist.github.com/AndrasKovacs/bd6a6333e4eecd7acb0eb9d98f7e0cb8
gist.github.com
https://github.com/AndrasKovacs/system-f-omega/blob/master/Term.agda
github.com
https://github.com/sstucki/system-f-agda/blob/master/src/SystemF/Term.agda
github.com
https://www.idris-lang.org/docs/idris2/0.6.0/base_docs/docs/Data.List.Elem.html
idris-lang.org
https://homepages.inf.ed.ac.uk/wadler/papers/mpc-2019/system-f-in-agda.pdf
homepages.inf.ed.ac.uk
https://cybercat.institute/2025/01/13/program-pipelines.idr/
cybercat.institute
Elsewhere on zanzix.github.io (1)