LiquidHaskell

swMATH27633MaRDI QIDQ39348FDOQ39348

Author name not available (Why is that?)

Source code repository: https://github.com/ucsd-progsys/liquidhaskell

Described by source

• Refinement types for Haskell

Cited In (5)

• ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs
• Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
• Learning inductive invariants by sampling from frequency distributions
• Safety enforcement via programmable strategies in Maude
• Modular Verification of Higher-Order Functional Programs

This page was built for software: LiquidHaskell