Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Isaac Oscar Gariano
conf.researchr.org general profile
ECOOP 2019 profile
SPLASH 2019 profile
SPLASH 2020 profile
‹Programming› 2019 profile
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
Share
x
Fri 16 Apr 13:51