ATS PROGRAMMING FOR HIGH-SAFETY APPLICATIONS: Combining functional and imperative programming with type safety

C++ Advanced Programming: Building High-Performance Applications

OCAML PROGRAMMING FOR FORMAL AND FINANCIAL SYSTEMS: Mathematically sound programming for safe high-assurance applications

Rust Programming for Real World Systems: Master Memory Safety, Concurrency, and High-Performance Development by Building Practical Applications from Scratch

V Programming Language (Vlang): Master Fast Compilation, Memory Safety, Concurrency, Generics, and Build High-Performance Real-World Applications