Steven Libby
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2023–2026
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FLOPS | Unifying Hindsight and Foresight - Lazy Cost Analysis as Functional Logic Programming. | Nicholas Coltharp, Steven Libby, Laura Israel, Yao Li |
| 2026 | PADL | A Functional Logic Perspective on Indentation-Sensitive Parsing. | Steven Libby |
| 2025 | PADL | The Scenic Route to Deforestation - An Exercise in Applying Parametricity in Curry. | Vincent Robinson, Steven Libby |
| 2023 | PADL | RICE: An Optimizing Curry Compiler. | Steven Libby |