Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sergio Antoy
conf.researchr.org general profile
EASE 2021 profile
POPL 2016 profile
POPL 2017 profile
Not registered as user yet
Name:
Sergio Antoy
Affiliation:
Kiel University
Personal website:
http://web.cecs.pdx.edu/~antoy/
Contributions
PADL 2017
Author of Improving Non-deterministic Computations in Functional Logic Programs within the PADL-track
PADL
Author of Default Rules for Curry within the PADL-track
Share
x
Sun 29 May 02:14