The following pages link to LiquidHaskell (Q39348):
Displaying 5 items.
- Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system (Q2209262) (← links)
- Learning inductive invariants by sampling from frequency distributions (Q2225478) (← links)
- Safety enforcement via programmable strategies in Maude (Q2693298) (← links)
- Modular Verification of Higher-Order Functional Programs (Q2988670) (← links)
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs (Q5041118) (← links)