( en | de | ru )

 

Disambiguation of "Bracevac, Oliver"

Author of the publication

copydeleteadd this publication to your clipboard
Graph IRs for Impure Higher-Order Languages (Technical Report).

, , , , , , and . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Oliver Gray

On the complete classification of unitary N=2 minimal superconformal field theories. Uni Augsburg, (2009)

Oliver Prochnow

Rauscheigenschaften von passiv modengekoppelten Ytterbium-Faserlasern. Uni Hannover, (2010)

Kay-Oliver Thiel

Eine kombinierte elektrochemische und XPS-Studie zu ausgewählten UPD-Systemen auf modifizierten Au (111)-Elektroden. FU Berlin, (2009)

Kevin Oliver Berne

Hippocampal and amygladar volumentry in female borderline patients utilizing magnetic resonance imaging, manuel volumentery and voxel based morphometry. Uni Heidelberg, (2009)

Oliver Heidbach

 

Other publications of authors with the same name

Modeling Reachability Types with Logical Relations., , , and . CoRR, (2023)Reachability types: tracking aliasing and separation in higher-order functional programs., , , , , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-32 (2021)CPL: A Core Language for Cloud Computing - Technical Report., , , and . CoRR, (2016)Graph IRs for Impure Higher-Order Languages (Technical Report)., , , , , , and . CoRR, (2023)Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies., , , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 400-430 (October 2023)Versatile event correlation with algebraic effects., , , , , and . Proc. ACM Program. Lang., 2 (ICFP): 67:1-67:31 (2018)What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact)., , , and . Dagstuhl Artifacts Ser., 8 (2): 26:1-26:2 (2022)Compiling symbolic execution with staging and algebraic effects., , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 164:1-164:33 (2020)Type-safe, Polyvariadic Event Correlation., , , and . CoRR, (2019)Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs., , , , and . CoRR, (2023)