An analysis tool for Python that blurs the line between testing and type systems.
-
Updated
Aug 20, 2024 - Python
An analysis tool for Python that blurs the line between testing and type systems.
Playing with type systems
C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
A collection of programming languages and type systems.
OCaml inspired language
Type system workshop for reactathon
Demo code showing off the new true exhaustiveness checks with Python 3.10 + Pyright
The Agda mechanization of a gradual security-typed programming language with general mutable references.
“String is not a sufficient type: how using your type system can help you make better software”
rust type-system set theory
Primitives for building syntax-based, keyboard-driven editors
My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.
A cheet sheet for all the typing rules covered in the CST Part II Types course
Lecture notes, assignments, and other materials for a one-semester course on programming language concepts and theory, interpretation and compilation, and programming paradigms.
Uma aplicação web que implementa um interpretador para uma variação do cálculo-lambda com operações de concorrência e tipos de sessão.
Joannah Nanjekye
Add a description, image, and links to the type-systems topic page so that developers can more easily learn about it.
To associate your repository with the type-systems topic, visit your repo's landing page and select "manage topics."