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![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
|
---|
4![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
|
---|
5![Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014 Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014](https://www.pdfsearch.io/img/af22c5ca5f223260b41987ba85eaaa94.jpg) | Add to Reading ListSource URL: www.nada.kth.seLanguage: English - Date: 2014-12-09 08:27:27
|
---|
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![Dilian Gurov’s CV Professional preparation PhD in Computer Science, 1998, Dept. of Computer Science, University of Victoria, Canada. Dilian Gurov’s CV Professional preparation PhD in Computer Science, 1998, Dept. of Computer Science, University of Victoria, Canada.](https://www.pdfsearch.io/img/e184d537aa81ad6aaf9acd20da6e710a.jpg) | Add to Reading ListSource URL: www.nada.kth.seLanguage: English - Date: 2017-10-31 10:32:18
|
---|
8![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
|
---|
9![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
|
---|
10![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
|
---|