Needed Computations Shortcutting Needed Steps. - Sergio Antoy; Jacob Johannsen; Steven Libby (TERMGRAPH, 2014)

Proving Non-Deterministic Computations in Agda. - Sergio Antoy; Michael Hanus; Steven Libby (WLP / WFLP, 2017)

Making Bubbling Practical. - Sergio Antoy; Steven Libby (CoRR, 2018)

ICurry. - Sergio Antoy; Michael Hanus; Andy Jost; Steven Libby (DECLARE, 2019)

RICE: An Optimizing Curry Compiler. - Steven Libby (PADL, 2023)

The Scenic Route to Deforestation - An Exercise in Applying Parametricity in Curry. - Vincent Robinson; Steven Libby (PADL, 2025)

An Execution Model for RICE. - Steven Libby (CoRR, 2025)