Nada - PDFSEARCH.IO - Document Search Engine

Nada
Results: 1528

#	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	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
4	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
5	Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014 Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2014-12-09 08:27:27 Software testing Hardware verification languages Electronic engineering Verification Model checking Software verification KTH Royal Institute of Technology E Functional verification Formal methods
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	Dilian Gurov’s CV Professional preparation   PhD in Computer Science, 1998, Dept. of Computer Science, University of Victoria, Canada. Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2017-10-31 10:32:18 Software testing Software verification KTH Royal Institute of Technology Computer science Verification Electromagnetism Engineering
8	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
9	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
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 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

UPDATE