<--- Back to Details
First PageDocument Content
Algebra / Vectors / Mathematics / Vector calculus / Linear algebra / Abstract algebra / Euclidean vector / Vector / Position
Date: 2018-10-19 08:43:24
Algebra
Vectors
Mathematics
Vector calculus
Linear algebra
Abstract algebra
Euclidean vector
Vector
Position

Collapsible Contracts: Fixing a Pathology of Gradual Typing

Add to Reading List

Source URL: www.eecs.northwestern.edu

Download Document from Source Website

File Size: 1,85 MB

Share Document on Facebook

Similar Documents

Algebra / Mathematics / Group theory / Geometric group theory / Topological groups / Functional analysis / Amenable group / Matrix / Kazhdan's property / Cayley graph / Convolution / Group cohomology

The Schur algebra is not spectral in B(`2). Romain Tessera∗ July 31, 2009 Abstract We give an example of an infinite matrix whose rows and columns

DocID: 1xVrQ - View Document

Theoretical computer science / Markov models / Formal methods / Graph theory / Markov chain / Process calculus / Semantics / Stochastic process / Mathematics

Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

DocID: 1xVg5 - View Document

Algebra / Abstract algebra / Mathematics / Algebras / Multilinear algebra / Lie algebras / Hopf algebras / Category theory / Universal enveloping algebra / PoincarBirkhoffWitt theorem / Exterior algebra / F-algebra

THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S

DocID: 1xV3t - View Document

Internet architecture / Computing / Network architecture / Internet / Quality of service / Teletraffic / Resource Reservation Protocol / Network protocols / Integrated services / Mobile IP / Handover / RSVP

Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston

DocID: 1xUMp - View Document

Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits In memory of Wen-tsun Wu–Jean-Guillaume Dumas

DocID: 1xUE0 - View Document