PureScript

swMATH26519MaRDI QIDQ38250FDOQ38250

Author name not available (Why is that?)

Official website: http://www.purescript.org

Cited In (1)

• Formalization of a polymorphic subtyping algorithm

This page was built for software: PureScript