TF0: The Monomorphic Typed First-order Form

Overview

Types and Type Signatures

Notes

TF0 Example