/blog (10)
#abstract machine (5) #c++ (2) #carbon (2) #cbpv (4) #effects (2) #logic (4) #memory safety (2) #meta (1) #rust (2) #safety (1) #semantics (1) #types (2) #zola (1)