Registered user since Fri 2 Mar 2018

Name: Hernan Melgratti

Affiliation: University of Buenos Aires, Argentina

All Activities

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