1 paper
Sergio Antoy, Michael Hanus, Andy Jost +1
FlatCurry is a well-established intermediate representation of Curry programs used in compilers that translate Curry code into Prolog and Haskell code. Some FlatCurry constructs ha…