E-LIB Suche - Ergebnisse für: Isaac, Oscar

1

The Letter Room:

Lind, Elvira ; Shawkat, Alia ; Petsos, Brian. , 2020

Link: https://unibremen.kanopy..

2

Uso de ecocardiografía intracardiaca para cierre percutáneo..:

Malkun, Celin ; Liévano, John ; Isaac, Oscar.
Revista Colombiana de Cardiología. 20 (2013) 2 - p. 88-93 , 2013

Link: https://doi.org/10.1016/..

3

Es begab sich aber zu der Zeit ...

die Weihnachtsgeschichte ; eine Reise zu Lebzeiten, eine Ge...

Castle-Hughes, Keisha ; Isaac, Oscar ; Rich, Mike.. , 2007

Copies: Zentrale/Mediathek: ph 1358

4

Cierre de ruptura del seno de Valsalva no coronariano con d..:

Malkun Paz, Celin ; Muñoz Velásquez, Alfonso ; Isaac Cure, Oscar..
Revista Colombiana de Cardiología. 25 (2018) 5 - p. 342.e1-342.e5 , 2018

Link: https://doi.org/10.1016/..

5

Using capabilities for strict runtime invariant checking:

Gariano, Isaac Oscar ; Servetto, Marco ; Potanin, Alex
Science of Computer Programming. 224 (2022) - p. 102878 , 2022

Link: https://doi.org/10.1016/..

6

More Programming Than Programming: Teaching Formal Methods ..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Noble, James ; Streader, David ; Gariano, Isaac Oscar. - p. 431-450 , 2022

Link: https://doi.org/10.1007/..

7

Naïve transient cast insertion isn't (that) bad:

, In: Proceedings of the 16th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems,

Greenwood-Thessman, Erin ; Gariano, Isaac Oscar ; Roberts, Richard... - p. 1-9 , 2021

Link: https://dl.acm.org/doi/1..

8

Dala: a simple capability-based dynamic language design for..:

, In: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

Fernandez-Reyes, Kiko ; Gariano, Isaac Oscar ; Noble, James... - p. 1-17 , 2021

Link: https://dl.acm.org/doi/1..

9

Which of my transient type checks are not (almost) free?:

, In: Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages,

Gariano, Isaac Oscar ; Roberts, Richard ; Marr, Stefan.. - p. 58-66 , 2019

Link: https://dl.acm.org/doi/1..

10

CallƐ: an effect system for method calls:

, In: Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

Gariano, Isaac Oscar ; Noble, James ; Servetto, Marco - p. 32-45 , 2019

Link: https://dl.acm.org/doi/1..

11

Uso de ecocardiografía intracardiaca para cierre percutáneo..:

Malkun, Celin ; Liévano, John ; Isaac, Oscar.
Revista Colombiana de Cardiología ISSN: 0120-5633 Vol.20 Núm.2 (2013). , 2013

Link: https://repositorio.fucs..

12

Callℇ: An effect system for method calls:

Isaac Oscar Gariano ; Robert Noble ; Marco Servetto
doi:10.25455/wgtn.15982596.v1. , 2019

Link: https://doi.org/10.25455..

13

Which of my transient type checks are not (almost) free?:

Isaac Oscar Gariano ; Richard Roberts ; S Marr..
doi:10.25455/wgtn.21514380. , 2019

Link: https://doi.org/10.25455..

14

Mμl: The Power of Dynamic Multi-Methods:

Isaac Oscar Gariano ; Marco Servetto
doi:10.25455/wgtn.15982599.v1. , 2019

Link: https://doi.org/10.25455..

15

Iteratively Composing Statically Verified Traits:

Isaac Oscar Gariano ; Marco Servetto ; Alex Potanin.
http://arxiv.org/pdf/1902.09685v2. , 2019

Link: https://doi.org/10.4204/..