Steven Libby

According to our database, Steven Libby authored at least 5 papers between 2014 and 2023.

Collaborative distances:

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

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