A Recursive Inclusion Checker for Recursively Defined Subtypes

DOI10.18255/1818-1015-2021-4-414-433OpenAlexW4200616011MaRDI QIDQ5870864

Hans de Nivelle

Publication date: 24 January 2023

Published in: Modeling and Analysis of Information Systems (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/mais760

zbMATH Keywords

theorem provingtype systemscompiler constructionprogramming language design

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Q99)

Related Items (1)

Unnamed Item

Uses Software

• Rust

Cites Work

• Programming in Haskell
• Unnamed Item

This page was built for publication: A Recursive Inclusion Checker for Recursively Defined Subtypes