LiquidHaskell
From MaRDI portal
Software:39348
No author found.
Source code repository: https://github.com/ucsd-progsys/liquidhaskell
Related Items (5)
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ⋮ Safety enforcement via programmable strategies in Maude ⋮ Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system ⋮ Modular Verification of Higher-Order Functional Programs ⋮ Learning inductive invariants by sampling from frequency distributions
This page was built for software: LiquidHaskell
