LiquidHaskell

swMATH27633MaRDI QIDQ39348FDOQ39348

Author name not available (Why is that?)

Official website: https://ucsd-progsys.github.io/liquidhaskell-blog/

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

Described by source

• Refinement types for Haskell

Cited In (18)

• VerX
• Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
• Mau-Dev
• ConSORT: context- and flow-sensitive ownership refinement types for imperative programs
• iJulienne
• HALO
• Stardust
• TreatJS
• MoCHi
• VeriFun
• ATAME
• Sage
• JSAI
• ABETS
• GASTAP
• Modular verification of higher-order functional programs
• Learning inductive invariants by sampling from frequency distributions
• Safety enforcement via programmable strategies in Maude

This page was built for software: LiquidHaskell