Sergio Antoy

Identifiers

• name variant Sergio Antoy 0.60 · backfill

Papers (6)

1. Making Bubbling Practical cs.PL · 2018 · author #1
2. Synthesizing Set Functions cs.PL · 2018 · author #1
3. A New Functional-Logic Compiler for Curry: Sprite cs.PL · 2016 · author #1
4. Default Rules for Curry cs.PL · 2016 · author #1
5. Needed Computations Shortcutting Needed Steps cs.PL · 2015 · author #1
6. On the Correctness of Pull-Tabbing cs.PL · 2011 · author #1

Mentions

• 1505.07162 #1 · backfill · confidence 0.70 Sergio Antoy
• 1108.0190 #1 · backfill · confidence 0.70 Sergio Antoy

Frequent Coauthors

• Michael Hanus 2 shared papers
• Steven Libby 2 shared papers
• Andy Jost 1 shared papers
• Finn Teegen 1 shared papers
• Jacob Johannsen 1 shared papers