compilers
Turing Award Special: A Conversation with Jeffrey Ullman

Jeffrey Ullman is a renowned computer scientist and professor emeritus at Stanford University, celebrated for his groundbreaking contributions to database systems, compilers, and
Sorbet: Typed Ruby with Dmitry Petrashko

Programming languages are dynamically typed or statically typed. In a dynamically typed language, the programmer does not need to declare if a variable is an integer, string, or other