2025-09-25

From Operations to Effects: A Journey Through M-Sets

/blog #semantics #effects #types #memory safety

2025-09-19

Three meanings of Effects

/blog #effects #types #memory safety

2025-09-04

Memory Safety - the missing definition

/blog #rust #carbon #c++ #safety

2025-08-27

Rust and Carbon, why not both

/blog #rust #carbon #c++

2024-01-05

CEK and Control Operators

/blog #abstract machine

>archives