Complete Abstractions Everywhere
Abstract elided by the publisher.
Related papers
- Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere ESOP 2021
- Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild OOPSLA 2019
- Vapor SIMD: Auto-vectorize once, run everywhere CGO 2011
- Implementing a modal dependent type theory ICFP 2019
- Fissile type analysis: modular checking of almost everywhere invariants POPL 2014
- Automatic differentiation in PCF POPL 2021
- Global Sequence Protocol: A Robust Abstraction for Replicated Shared State ECOOP 2015
- Putting curry-howard to work Haskell 2005