conf.researchr.org / Isaac Oscar Gariano

Registered user since Wed 18 Sep 2019

Name: Isaac Oscar Gariano

Contributions

VMIL 2019Author of Which of my Transient Type Checks are not (Almost) Free? within the VMIL 2019-track
Author of Towards Gradual Checking of Reference Capabilities within the VMIL 2019-track
META 2019Author of Mμl: The Power of Dynamic Multi-Methods within the META 2019-track
FTfJP 2019Author of CallƐ: An Effect System for Method Calls within the FTfJP 2019-track
VPT 2019Author of Iteratively Composing Statically Verified Traits within the VPT 2019 -track
SPLASH 2019Author of CallƐ: An Effect System for Method Calls within the Onward! Papers-track