1![LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University](https://www.pdfsearch.io/img/e3ff3c96ddaafd20a41a7d59436a9071.jpg) | Add to Reading ListSource URL: lampwww.epfl.chLanguage: English - Date: 2017-01-20 09:52:58
|
---|
2![Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors](https://www.pdfsearch.io/img/bfc5ccb9bcf84d0b4478a2c5ce5f11fc.jpg) | Add to Reading ListSource URL: lampwww.epfl.chLanguage: English - Date: 2012-09-30 08:41:25
|
---|
3![How Gamification Affects Physical Activity: ! Large-scale Analysis of Walking Challenges in a Mobile Application
Ali Shameli, Tim Althoff, Amin Saberi, Jure Leskovec How Gamification Affects Physical Activity: ! Large-scale Analysis of Walking Challenges in a Mobile Application
Ali Shameli, Tim Althoff, Amin Saberi, Jure Leskovec](https://www.pdfsearch.io/img/e96f1754d8cd2a938e7713a744924972.jpg) | Add to Reading ListSource URL: www.timalthoff.comLanguage: English - Date: 2017-04-10 13:59:57
|
---|
4![LMS-Verify: Abstraction without Regret for Verified Systems Programming Nada Amin∗ Tiark Rompf † LMS-Verify: Abstraction without Regret for Verified Systems Programming Nada Amin∗ Tiark Rompf †](https://www.pdfsearch.io/img/283b3ff5692b6b8d95f61f01f31d4151.jpg) | Add to Reading ListSource URL: lampwww.epfl.chLanguage: English - Date: 2016-12-01 23:01:48
|
---|
5![Comparative Country Analysis Switzerland and the United States Nada Amin June 2004 Introduction Comparative Country Analysis Switzerland and the United States Nada Amin June 2004 Introduction](https://www.pdfsearch.io/img/803277eeee23f36527ca5ad577f62cb4.jpg) | Add to Reading ListSource URL: lampwww.epfl.chLanguage: English - Date: 2016-09-18 10:28:03
|
---|
6![Foundations of Path-Dependent Types Nada Amin∗ † Tiark Rompf †∗ Foundations of Path-Dependent Types Nada Amin∗ † Tiark Rompf †∗](https://www.pdfsearch.io/img/975244bdd44e7e6dbe658c5186a5beb0.jpg) | Add to Reading ListSource URL: lampwww.epfl.chLanguage: English - Date: 2014-09-01 05:42:20
|
---|
7![Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada Amin Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada Amin](https://www.pdfsearch.io/img/94b3c508f133cabc61f5410c868d2f56.jpg) | Add to Reading ListSource URL: lampwww.epfl.chLanguage: English - Date: 2016-11-19 05:24:33
|
---|
8![DOT (Dependent Object Types) Nada Amin ECOOP PC Workshop DOT (Dependent Object Types) Nada Amin ECOOP PC Workshop](https://www.pdfsearch.io/img/09dcec715826c1f215ecf3475d2250a1.jpg) | Add to Reading ListSource URL: lampwww.epfl.chLanguage: English - Date: 2016-06-29 11:34:50
|
---|
9![Collapsing Towers of Interpreters NADA AMIN, University of Cambridge, UK TIARK ROMPF, Purdue University, USA Given a tower of interpreters, i.e., a sequence of multiple interpreters interpreting one another as input prog Collapsing Towers of Interpreters NADA AMIN, University of Cambridge, UK TIARK ROMPF, Purdue University, USA Given a tower of interpreters, i.e., a sequence of multiple interpreters interpreting one another as input prog](https://www.pdfsearch.io/img/0e84499e807ebf9d2f2a36e86ccad920.jpg) | Add to Reading ListSource URL: lampwww.epfl.chLanguage: English - Date: 2017-11-23 15:55:32
|
---|
10![Improved security proofs in lattice-based cryptography: using the Rényi divergence rather than the statistical distance Shi Bai1 , Tancrède Lepoint3 , Adeline Roux-Langlois4 , Amin Sakzad5 , Damien Stehlé2 , and Ron S Improved security proofs in lattice-based cryptography: using the Rényi divergence rather than the statistical distance Shi Bai1 , Tancrède Lepoint3 , Adeline Roux-Langlois4 , Amin Sakzad5 , Damien Stehlé2 , and Ron S](https://www.pdfsearch.io/img/18ec19dafb1052c468792588215884eb.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2018-02-25 03:26:11
|
---|