conf.researchr.org / Hernan Melgratti

Registered user since Fri 2 Mar 2018

Name: Hernan Melgratti

Affiliation: University of Buenos Aires, Argentina

Contributions

FormaliSE 2018Committee Member in Program Committee within the FormaliSE 2018-track
ICFP 2018Committee Member in External Review Committee within the Research Papers-track
ICFP 2017Author of Chaperone Contracts for Higher-Order Sessions within the Research Papers-track