git @ Cat's Eye Technologies The-Glosscubator / ff67937
Add a Name Binding repo. Chris Pressey 9 months ago
4 changed file(s) with 17 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
+1
-1
README.md less more
1717
1818 <!-- TOTALS -->
1919
20 Currently it consists of **609** web pages, **80** repositories, **166** papers, and **175** books in **96** topics.
20 Currently it consists of **609** web pages, **81** repositories, **166** papers, and **175** books in **96** topics.
2121 Of these, [**107** have the highest rating](by-rating/Top-rated.md),
2222 [**32** are considered classics](by-rating/Classic.md),
2323 [**59** are considered very interesting](by-rating/Very%20Interesting.md),
+2
-0
by-topic/Name Binding/README.md less more
1717
1818 [bacam/sato-maps-agda](https://github.com/bacam/sato-maps-agda)
1919
20 [jsiek/abstract-binding-trees: Abstract binding trees (abstract syntax trees plus binders), as a library in Agda](https://github.com/jsiek/abstract-binding-trees)
21
2022 ### Papers
2123
2224 Foundational Aspects of Syntax (online @ [web.archive.org](https://web.archive.org/web/20240304215325/https://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lambda-trees.pdf))
+7
-0
by-topic/Name Binding/Repositories.md less more
2222 * license: No license specified
2323
2424 .
25
26 ### jsiek/abstract-binding-trees: Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
27
28 * url: https://github.com/jsiek/abstract-binding-trees
29 * license: No license specified
30
31 .
+7
-0
by-topic/Name Binding/commentary/Chris Pressey.md less more
242242 * rating: 1
243243
244244 See also the associated paper. TODO: add that paper!
245
246 ### jsiek/abstract-binding-trees: Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
247
248 * rating: 1
249
250 Mostly for the write-up, which, although written in Agda and thus cast in type theory,
251 makes a few points about ABTs.