mirror of
https://github.com/papers-we-love/papers-we-love.git
synced 2024-10-27 20:34:20 +00:00
new-paper-for-erik-hinton-pres-and-link-add-remove
This commit is contained in:
parent
1fda174f11
commit
b937dbd0bd
@ -28,7 +28,6 @@ We're looking for pull requests related to papers we should add, better organiza
|
|||||||
* [Facebook](https://www.facebook.com/publications)
|
* [Facebook](https://www.facebook.com/publications)
|
||||||
* [Google Scholar](http://scholar.google.com/citations?view_op=top_venues&hl=en&vq=eng) (choose a subcategory)
|
* [Google Scholar](http://scholar.google.com/citations?view_op=top_venues&hl=en&vq=eng) (choose a subcategory)
|
||||||
* [Microsoft](http://research.microsoft.com/apps/catalog/default.aspx?t=publications)
|
* [Microsoft](http://research.microsoft.com/apps/catalog/default.aspx?t=publications)
|
||||||
* [Vijay D'Silva](http://www.eecs.berkeley.edu/~vijayd/#papers)
|
|
||||||
* [Functional Programming Books Review](http://alexott.net/en/fp/books/)
|
* [Functional Programming Books Review](http://alexott.net/en/fp/books/)
|
||||||
* [MIT's Artificial Intelligence Lab Publications](http://dspace.mit.edu/handle/1721.1/39813)
|
* [MIT's Artificial Intelligence Lab Publications](http://dspace.mit.edu/handle/1721.1/39813)
|
||||||
* [MIT's Distributed System's Reading Group](http://pdos.csail.mit.edu/dsrg/)
|
* [MIT's Distributed System's Reading Group](http://pdos.csail.mit.edu/dsrg/)
|
||||||
@ -38,6 +37,7 @@ We're looking for pull requests related to papers we should add, better organiza
|
|||||||
* [y-archive](http://yarchive.net/comp/index.html)
|
* [y-archive](http://yarchive.net/comp/index.html)
|
||||||
* [Bell System Technical Journal](http://www3.alcatel-lucent.com/bstj/)
|
* [Bell System Technical Journal](http://www3.alcatel-lucent.com/bstj/)
|
||||||
* [netlib](http://www.netlib.org/)
|
* [netlib](http://www.netlib.org/)
|
||||||
|
* [Services Engineering Reading List](https://github.com/mmcgrana/services-engineering)
|
||||||
|
|
||||||
Please check out our [wiki-page](https://github.com/papers-we-love/papers-we-love/wiki/Other-Good-Sources-of-Reading-Material) for links to blogs, books, exchanges that are worth a good read.
|
Please check out our [wiki-page](https://github.com/papers-we-love/papers-we-love/wiki/Other-Good-Sources-of-Reading-Material) for links to blogs, books, exchanges that are worth a good read.
|
||||||
|
|
||||||
|
BIN
plt/the-derivative-of-a-regular-type-one-hole-contexts.pdf
Normal file
BIN
plt/the-derivative-of-a-regular-type-one-hole-contexts.pdf
Normal file
Binary file not shown.
Loading…
Reference in New Issue
Block a user