PROGRAMMING LANGUAGES
Not the keyword you're looking for? See all keywords.
Type Systems: From Generics to Dependent Types
A practical guide through the landscape of type systems, from everyday generics to dependent types that prove correctness, with examples in Rust, Scala, and Idris
The Concrete Programming Language: Systems Programming for Formal Reasoning
Concrete is a systems programming language designed around a single principle: every design choice must answer the question, can a machine reason about this? It aims to combine expressiveness with formal verification, performance with safety.