A monadic semantics for core Curry (2003)

by A Tolmach, S Antoy
Venue:In Proc. of WFLP 2003