MiniSail - A kernel language for the ISA specification language SAIL

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7361176FDO

Authors Mark Wassell

Publication date 18 June 2021

Refinement types for Haskell

This page was built for software: MiniSail - A kernel language for the ISA specification language SAIL

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=MiniSail_-_A_kernel_language_for_the_ISA_specification_language_SAIL&oldid=105363701"