>archives
>artifacts
>about
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