Not registered as user yet

Name: Sergio Antoy

Affiliation: Kiel University

Personal website: http://web.cecs.pdx.edu/~antoy/

POPL 2017 Activities

• Author of Improving Non-deterministic Computations in Functional Logic Programs within the PADL-track in PADL 2017
• Show activities from other conferences