Isaac Oscar Gariano -

Registered user since Wed 18 Sep 2019

Name:Isaac Oscar Gariano

Contributions

FTfJP 2020	Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track
VMIL 2019	Author 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 2019	Author of Mμl: The Power of Dynamic Multi-Methods within the META 2019-track
FTfJP 2019	Author of CallƐ: An Effect System for Method Calls within the FTfJP 2019-track
VPT 2019	Author of Iteratively Composing Statically Verified Traits within the VPT 2019 -track
SPLASH 2019	Author of CallƐ: An Effect System for Method Calls within the Onward! Papers-track