Relaxing the Value Restriction
No abstract available.
Related papers
- A Classical Realizability Model for a Semantical Value Restriction ESOP 2016
- ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM OOPSLA 2014
- A Classical Sequent Calculus with Dependent Types TOPLAS 2019
- Relaxing SIMD Control Flow Constraints using Loop Transformations PLDI 1992
- Transactions in relaxed memory architectures POPL 2018
- Fluid: a framework for approximate concurrency via controlled dependency relaxation PLDI 2021
- Relaxed MultiJava: balancing extensibility and modular typechecking OOPSLA 2003
- The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency POPL 2022