Implementations of programming languages and type systems studied in Types and Programming Languages. Each subdirectory implements one of the languages studied in the book. Each such implementation ...

Each programming language has its own syntax. Syntax is a formal set of rules that defines how valid code is written in a specific programming language. Programming languages can be categorized by the ...

system_fw contains a parser for a high-level, Standard ML like source language that is desugared into an HIR, and then System F-omega. This extends system_f with type operators and higher-kinded types ...

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of ...

Computer scientists at Carnegie Mellon are developing a programming language that seamlessly handles code, objects, and values from multiple other languages in the one program.

Microsoft's open-source programming language TypeScript – the alter ego of JavaScript but with a type system – turns 10 years old this December. It's grown to become a go-to language for ...