This repository is meant to act as an add space where people can share interesting papers they've written or found regarding Programming
A dump space for people to share interesting papers on:
- Programming Language Technology (PLT)
- Type Theory
- Other interesting stuff that relates to this.
If you want to add a paper, just create a new issue with the paper's title and include the link somewhere on the issue.
If you have the time, please also provide some DOI or bibtex so that it's easier to cite the paper and have a permanent reference for it.
@Centril will eventually create tags based on the papers you've all added.