Back to Results
First PageMeta Content
Computer programming / Functional programming / Immutable object / Algebraic topology / Test / Lambda calculus / Subtype polymorphism / Sheaf / Computing / Software engineering / Object-oriented programming


Uniqueness and Reference Immutability for Safe Parallelism (Extended Version) Colin S. Gordon† , Matthew J. Parkinson‡ , Jared Parsons , Aleks Bromfield , Joe Duffy † University of Washington, ‡ Microsoft Res
Add to Reading List

Document Date: 2012-09-27 12:03:04

Open Document

File Size: 694,75 KB

Share Result on Facebook

City

Cambridge / /

Company

T-S UB E NV / Microsoft Corporation / /

/

Facility

University of Washington / /

IndustryTerm

straightforward applications / large systems / view shift operator / type systems / Prior reference immutability systems / universe type systems / call site / /

OperatingSystem

Fork / /

Organization

University of Washington / /

Person

Matthew J. Parkinson / Colin S. Gordon / Jared Parsons / Joe Duffy / /

Position

l.head / writable l.head / Analysis General / Qualifier / lst.head / /

Product

Microsoft Corporation Portable Audio Device / /

ProgrammingLanguage

C / T / /

Technology

dom / shared memory / Java / /

SocialTag