2026-07-23T20:55:09Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:24308 2025-12-12T15:04:37Z ddc:004 open_access

Toward a Typed Intermediate Language for R (Extended Abstract) Laurent, Mickaël Hain, Jakob Krikava, Filip Krynski, Sebastián Vitek, Jan JIT compilation static typing ownership copy-on-write dynamic language Compilers for dynamic languages often rely on intermediate representations with explicit type annotations to facilitate writing program transformations. This paper documents the design of a new typed intermediate representation for a just-in-time compiler for the R programming language called FIŘ. Type annotations, in FIŘ, capture properties such as sharing, the potential for effects, and compiler speculations. In this extended abstract, we focus on the sharing properties that may be used to optimize away some copies of values. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Mickaël Laurent and Jakob Hain and Filip Krikava and Sebastián Krynski and Jan Vitek 2025 Is Part Of OASIcs, Volume 134, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.Programming.2025.24 urn:nbn:de:0030-drops-243086 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025.24 eng https://creativecommons.org/licenses/by/4.0/legalcode