Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Andreas Rossberg"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 3:1-28
WebAssembly (Wasm) is a safe, portable virtual instruction set that can be hosted in a wide range of environments, such as a Web browser. It is a low-level language whose instructions are intended to compile directly to bare hardware. While the initi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ea08e3cab26c5626be8db2105f50ad1
https://doi.org/10.1145/3360559
https://doi.org/10.1145/3360559
Autor:
Lionel Desgranges, Philippe Martin, Yves Pontillon, Pier Lorenzo Solari, Andreas Rossberg, Sergei M. Butorin, Gianinna Dottavio, Kristina O. Kvashnina, René Bes
Publikováno v:
JOURNAL OF NUCLEAR MATERIALS. 507:145-150
The charge compensation mechanisms in UyNd1-yO2 +/- x, and its consequence on the overall O stoichiometry (or O/M ratio where M = Nd + U) have been studied through the uranium valence state mixture ...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5b270485b0100966ea4730db7d6040c4
https://doi.org/10.1016/j.jnucmat.2018.04.046
https://doi.org/10.1016/j.jnucmat.2018.04.046
Autor:
Dan Gohman, Derek L. Schuff, Luke Wagner, Andreas Rossberg, Michael Holman, JF Bastien, Andreas Haas, Ben L. Titzer, Alon Zakai
Publikováno v:
PLDI
The maturation of the Web platform has given rise to sophisticated and demanding Web applications such as interactive 3D visualization, audio and video software, and games. With that, efficiency and security of code on the Web has become more importa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::10b5f68180fdeeef92713bea23d6c925
https://doi.org/10.1145/3140587.3062363
https://doi.org/10.1145/3140587.3062363
Autor:
Andreas Rossberg
Publikováno v:
Journal of Functional Programming. 28
ML is two languages in one: there is the core, with types and expressions, and there are modules, with signatures, structures, and functors. Modules form a separate, higher-order functional language on top of the core. There are both practical and te
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1a13add3254c8dd38de5defb72ee20d5
https://doi.org/10.1017/s0956796818000205
https://doi.org/10.1017/s0956796818000205
Autor:
Andreas Rossberg
Publikováno v:
A List of Successes That Can Change the World ISBN: 9783319309354
A List of Successes That Can Change the World
A List of Successes That Can Change the World
We take another look at 1ML, a language in the ML tradition, but with core and modules merged into one unified language, rendering all modules first-class values. 1ML already comes with a simple form of effect system that distinguishes pure from impu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d77d766baba65a95b389e8f7aa464d39
https://doi.org/10.1007/978-3-319-30936-1_18
https://doi.org/10.1007/978-3-319-30936-1_18
Autor:
Andreas Rossberg
Publikováno v:
MFPS
When a module language is combined with forms of non-parametric type analysis, abstract types require an opaque dynamic representation in order to maintain abstraction safety. As an idealisation of such a module language, we present a foundational ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4c9ec15e18cd5b883c384b5deb3e5e4b
https://doi.org/10.1016/j.entcs.2008.10.019
https://doi.org/10.1016/j.entcs.2008.10.019
Autor:
Andreas Rossberg
Publikováno v:
ICFP
ML is two languages in one: there is the core, with types and expressions, and there are modules, with signatures, structures and functors. Modules form a separate, higher-order functional language on top of the core. There are both practical and tec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb1305c57b46a1070eae8bfef50b96e6
https://doi.org/10.1145/2784731.2784738
https://doi.org/10.1145/2784731.2784738
Autor:
Andreas Rossberg
Publikováno v:
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8892268b2241e8d9e0d4bbdacb8025bf
https://doi.org/10.1145/3260315
https://doi.org/10.1145/3260315
Autor:
Andreas Rossberg
Publikováno v:
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b981c2e47d19af4437de4965682453a8
https://doi.org/10.1145/3249900
https://doi.org/10.1145/3249900
Publikováno v:
TLDI
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fancy type theory that is mostly opaque to non-experts. While this reputa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f8354768f8aeed5b9e531516bc8d33d
https://doi.org/10.1145/1708016.1708028
https://doi.org/10.1145/1708016.1708028