Amin - PDFSEARCH.IO - Document Search Engine

Amin
Results: 1116

#	Item
1	LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2017-01-20 09:52:58 Computing Software engineering Computer programming Parser generators Compiling tools Functional programming Parser combinator Parsing Lex Scala Apache HTTP Server
2	Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2012-09-30 08:41:25 Proof theory General relativity Complex analysis Holomorphic functional calculus
3	How Gamification Affects Physical Activity: ! Large-scale Analysis of Walking Challenges in a Mobile Application Ali Shameli, Tim Althoff, Amin Saberi, Jure Leskovec Add to Reading List Source URL: www.timalthoff.com Language: English - Date: 2017-04-10 13:59:57 Gamification Gaming Exergaming Stanford Gbel Human behavior Psychology
4	LMS-Verify: Abstraction without Regret for Verified Systems Programming Nada Amin∗ Tiark Rompf † Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2016-12-01 23:01:48
5	Comparative Country Analysis Switzerland and the United States Nada Amin June 2004 Introduction Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2016-09-18 10:28:03 Macroeconomics Economy National accounts Crowds International macroeconomics Public finance Government spending Alan Greenspan Freemen of the City of London Monetary policy Current account Economy of Switzerland
6	Foundations of Path-Dependent Types Nada Amin∗ † Tiark Rompf †∗ Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-09-01 05:42:20 Type theory Software engineering Computing Computer programming Data types Object-oriented programming Formal methods Polymorphism Subtyping Type system Inheritance Refinement
7	Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada Amin Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2016-11-19 05:24:33 Computing Software engineering Computer programming Type theory Data types Functional languages Subroutines Scala Recursive data type Recursion Type system
8	DOT (Dependent Object Types) Nada Amin ECOOP PC Workshop Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2016-06-29 11:34:50 Computing Software engineering Computer programming Object-oriented programming Programming languages Functional languages Functional programming Scala Anonymous function Covariance and contravariance DEF CON Is-a
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 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2017-11-23 15:55:32 Software engineering Computing Declarative programming Functional programming Lambda calculus Data types Models of computation Exponentials Eval Interpreter Scheme Exponential function
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 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-02-25 03:26:11 Mathematical analysis Mathematics Post-quantum cryptography Number theory Measure theory Cryptography Algebra Distribution Support Learning with errors Weight KullbackLeibler divergence