Stardust

MaRDI QIDQ31838swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1292602

Cited in

(6)

• Banshee
• TreatJS
• Forsythe
• LiquidHaskell
• Set constraints, pattern match analysis, and SMT
• Extensible Datasort Refinements

This page was built for software: Stardust