Programming with Refinement Types#liquid-types#termination#soundness·goto.ucsd.edu·Apr 3, 2024Programming with Refinement Types