mirror of
				https://github.com/papers-we-love/papers-we-love.git
				synced 2025-06-13 12:54:28 +00:00 
			
		
		
		
	Merge pull request #117 from papers-we-love/add-one-hole-context-paper-fix-link
new-paper-for-erik-hinton-pres-and-link-add-remove
This commit is contained in:
		
						commit
						86fb2b30cc
					
				| @ -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