21 citations · 57 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
Toward SMT-Based Refinement Types in Agda
Gan Shen, Lindsey Kuper
Dependent types offer great versatility and power, but developing proofs with them can be tedious and requires considerable human guidance. We propose to integrate Satisfiability M…
cs.PL2021
Toward Hole-Driven Development with Liquid Haskell
Patrick Redmond, Gan Shen, Lindsey Kuper
Liquid Haskell is an extension to the Haskell programming language that adds support for refinement types: data types augmented with SMT-decidable logical predicates that refine th…