Open AccessA Type Checker for a Logical Framework with Union and Intersection Types
Author(s) -
Claude Stolze,
Luigi Liquori
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.4230/lipics.fscd.2020
Subject(s) - programming language , computer science , intersection (aeronautics) , syntax , unification , automated theorem proving , type inference , abstract syntax , data type , type (biology) , theoretical computer science , abstract syntax tree , semantics (computer science) , algorithm , inference , artificial intelligence , parsing , engineering , aerospace engineering , ecology , biology