Showing cs.PLShow all
3 papers · 1 filter
cs.PL2023
Portable, Efficient, and Practical Library-Level Choreographic Programming
Shun Kashiwa, Gan Shen, Soroush Zare +1
Choreographic programming (CP) is an emerging paradigm for programming distributed applications that run on multiple nodes. In CP, the programmer writes one program, called a chore…
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…