Collapsible Contracts: Fixing a Pathology of Gradual Typing DANIEL FELTEY, Northwestern University, USA BEN GREENMAN, Northeastern University, USA CHRISTOPHE SCHOLLIERS, Ghent University, Belgium ROBERT BRUCE FINDLER, No

First Page		Document Content
Date: 2018-10-25 09:39:05 Algebra Vectors Mathematics Vector calculus Linear algebra Abstract algebra Euclidean vector Vector Position		Collapsible Contracts: Fixing a Pathology of Gradual Typing DANIEL FELTEY, Northwestern University, USA BEN GREENMAN, Northeastern University, USA CHRISTOPHE SCHOLLIERS, Ghent University, Belgium ROBERT BRUCE FINDLER, No Add to Reading List Source URL: users.eecs.northwestern.edu Download Document from Source Website File Size: 1,99 MB Share Document on Facebook

	Vector Lane Threading S. Rivoire, R. Schultz, T. Okuda, C. Kozyrakis Computer Systems Laboratory Stanford University DocID: 1xVKA - View Document
	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
	GENERIC REPRESENTATIONS OF ORTHOGONAL GROUPS: PROJECTIVE FUNCTORS IN THE CATEGORY Fquad CHRISTINE VESPA Abstract. In this paper, we continue the study of the category of functors Fquad , associated to F2 -vector spaces e DocID: 1xUY4 - View Document
	TCC2-Logo-Vector-reversed2 DocID: 1xULQ - View Document
	Improved Reduction from the Bounded Distance Decoding Problem to the Unique Shortest Vector Problem in Lattices Shi Bai1 , Damien Stehl´e1 and Weiqiang Wen1 1 DocID: 1xUq5 - View Document