Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
teaching:cc71y:2014-2:miniconf:speakers [2014/11/27 06:41] – etanterteaching:cc71y:2014-2:miniconf:speakers [2014/11/27 07:55] – etanter
Line 9: Line 9:
 14:00-15:00 **Session 1** 14:00-15:00 **Session 1**
   * Raimil: Ownership Types (P:Juraj/O:Rosario) [[http://ilyasergey.net/papers/ownership-survey.pdf|paper]]   * Raimil: Ownership Types (P:Juraj/O:Rosario) [[http://ilyasergey.net/papers/ownership-survey.pdf|paper]]
-  * Alonso: A Type System for Differential Privacy (P:Juampi/O:Felipe)+  * Alonso: A Type System for Differential Privacy (P:Juampi/O:Felipe) [[http://www.cis.upenn.edu/~bcpierce/papers/dp.pdf|paper]]
   * Joffre: Deep Typechecking for Multi-Language Frameworks (P:Alejandro/O:Nico) [[http://homes.cs.washington.edu/~ztatlock/pubs/dtar-tatlock-oopsla08.pdf|paper]]   * Joffre: Deep Typechecking for Multi-Language Frameworks (P:Alejandro/O:Nico) [[http://homes.cs.washington.edu/~ztatlock/pubs/dtar-tatlock-oopsla08.pdf|paper]]