Steven Libby

According to our database, Steven Libby authored at least 9 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Functional Logic Program Transformations.

Michael Hanus, Steven Libby

CoRR, January, 2026

A Functional Logic Perspective on Indentation-Sensitive Parsing.

Steven Libby

Proceedings of the Practical Aspects of Declarative Languages, 2026

2025

The Scenic Route to Deforestation - An Exercise in Applying Parametricity in Curry.

Vincent Robinson, Steven Libby

Proceedings of the Practical Aspects of Declarative Languages, 2025

2024

An Execution Model for RICE.

Steven Libby

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, June, 2024

2023

RICE: An Optimizing Curry Compiler.

Steven Libby

Proceedings of the Practical Aspects of Declarative Languages, 2023

2019

ICurry.

Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby

Proceedings of the Declarative Programming and Knowledge Management, 2019

2018

Making Bubbling Practical.

Sergio Antoy, Steven Libby

CoRR, 2018

2017

Proving Non-Deterministic Computations in Agda.

Sergio Antoy, Michael Hanus, Steven Libby

Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

2014

Needed Computations Shortcutting Needed Steps.

Sergio Antoy, Jacob Johannsen, Steven Libby

Proceedings of the Proceedings 8th International Workshop on Computing with Terms and Graphs, 2014