cap-typechecking

swMATH34845MaRDI QIDQ46554FDOQ46554

Author name not available (Why is that?)

Official website: https://github.com/juanedi/cap-typechecking

Source code repository: https://github.com/juanedi/cap-typechecking

Cited In (2)

• Efficient type checking for path polymorphism
• Typed path polymorphism

This page was built for software: cap-typechecking