Report on advancements in Type Theory and application of Program Verification
-
Updated
Oct 23, 2018 - TeX
Report on advancements in Type Theory and application of Program Verification
Infinity Lang Type System Implementation
This project allowes to programatically define, use and validate a generic typesystem consisting of types, attributes and items. Furthermore there a some services which may be customized to your own project needs.
A library to write Javascript that does not need to be maintained or upgraded. Only if you want to.
A repository to store examples that helps developing object immutability type system
Yet Another Language is a pure functional language written in Haskell
Short program to illustrate the use of polymorphic variant in OCaml
A set of Zig-inspired macros for type-based error handling in C
Example app using Starlette, Typesystem, and Databases
programming language type systems implemented in Rust
📘 | Simple type system repl the paper Typing Haskell in Haskell
Functional programming language with a powerfull typesystem
WIP (very WIP): Linear Typing for Go (master's thesis)
Typesafe bindings for ⭐ Spark.NET
Add a description, image, and links to the typesystem topic page so that developers can more easily learn about it.
To associate your repository with the typesystem topic, visit your repo's landing page and select "manage topics."