1 citations · 1 across the 1 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2019
ICurry
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…
cs.PL2018
Making Bubbling Practical
Sergio Antoy, Steven Libby
Bubbling is a run-time graph transformation studied for the execution of non-deterministic steps in functional logic computations. This transformation has been proven correct, but…
cs.PL2015★ 1 cited
Needed Computations Shortcutting Needed Steps
Sergio Antoy, Jacob Johannsen, Steven Libby
We define a compilation scheme for a constructor-based, strongly-sequential, graph rewriting system which shortcuts some needed steps. The object code is another constructor-based…