1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2018
Design and Implementation of the Andromeda Proof Assistant
Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter +2
Andromeda is an LCF-style proof assistant where the user builds derivable judgments by writing code in a meta-level programming language AML. The only trusted component of Andromed…
cs.PL2015★ 1 cited
Observationally Cooperative Multithreading
Christopher A. Stone, Melissa E. O'Neill, Sonja A. Bohr +5
Despite widespread interest in multicore computing, concur- rency models in mainstream languages often lead to subtle, error-prone code. Observationally Cooperative Multithreading…