Steven Libby

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 5

Top Topics

Stochastic Methods

Top Venues

Publications

Steven Libby
RICE: An Optimizing Curry Compiler. PADL (2023)
Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby
ICurry. DECLARE (2019)
Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby
ICurry. CoRR (2019)
Sergio Antoy, Steven Libby
Making Bubbling Practical. CoRR (2018)
Sergio Antoy, Michael Hanus, Steven Libby
Proving Non-Deterministic Computations in Agda. WLP / WFLP (2017)
Sergio Antoy, Jacob Johannsen, Steven Libby
Needed Computations Shortcutting Needed Steps. TERMGRAPH (2014)