Namespaced DeBruijn Indices By Gabriella Gonzalez
1 views | 44:47 | 2022-04-20 | 0 likes / 0 dislikes
Watch video in Watch.softinio.com
softinio
Hosted on Watch.softinio.com
Namespaced DeBruijn Indices By Gabriella Gonzalez
This presentation describes a simple and elegant solution for avoiding name capture in interpreted languages that also improves the readability of inferred types and β-reduced normal forms. The ...
| Language | English |
|---|---|
| Category | Science & Technology |
| Licence | Attribution |
| NSFW | SFW |