Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors

First Page		Document Content
Date: 2012-09-30 08:41:25 Proof theory General relativity Complex analysis Holomorphic functional calculus		Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors Add to Reading List Source URL: lampwww.epfl.ch Download Document from Source Website File Size: 304,06 KB Share Document on Facebook

	Abstract This is a survey of results on positivity of vector bundles, inspired by the BrunnMinkowski and Prékopa theorems. Applications to complex analysis, Kähler geometry and algebraic geometry are also discussed. Pr DocID: 1xVyz - View Document
	AVACS* Automatic Verification and Analysis of Complex Systems Werner Damm AVACS coordinator DocID: 1xUP7 - View Document
	The world’s leading source of exclusive, in-depth news & analysis on risk management, derivatives and complex finance A guide to Risk.net DocID: 1xUBW - View Document
	Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex Systems DocID: 1xTgn - View Document
	Demailly, Jean-Pierre (ed.); Hulek, Klaus (ed.); Peternell, Thomas (ed.) Complex analysis. Abstracts from the workshop held September 2–8, Komplexe Analysis.) (English) Zbl Oberwolfach Rep. 9, No. DocID: 1xT9g - View Document