Reactive wetting of alumina by Ti-rich Ni–Ti–Zr alloys
Siegmund, Peter, Guhl, Conrad, Schmidt, Elke, Roßberg, Andreas, Rettenmayr, Markus
Published in Journal of materials science (01.04.2016)
Published in Journal of materials science (01.04.2016)
Get full text
Journal Article
Non-parametric parametricity
NEIS, GEORG, DREYER, DEREK, ROSSBERG, ANDREAS
Published in Journal of functional programming (01.09.2011)
Published in Journal of functional programming (01.09.2011)
Get full text
Journal Article
F-ing modules
ROSSBERG, ANDREAS, RUSSO, CLAUDIO, DREYER, DEREK
Published in Journal of functional programming (01.09.2014)
Published in Journal of functional programming (01.09.2014)
Get full text
Journal Article
Weakening WebAssembly
Watt, Conrad, Rossberg, Andreas, Pichon-Pharabod, Jean
Published in Proceedings of ACM on programming languages (10.10.2019)
Published in Proceedings of ACM on programming languages (10.10.2019)
Get full text
Journal Article
Continuing WebAssembly with Effect Handlers
Phipps-Costin, Luna, Rossberg, Andreas, Guha, Arjun, Leijen, Daan, Hillerström, Daniel, Sivaramakrishnan, KC, Pretnar, Matija, Lindley, Sam
Published in Proceedings of ACM on programming languages (16.10.2023)
Published in Proceedings of ACM on programming languages (16.10.2023)
Get full text
Journal Article
Bringing the WebAssembly Standard up to Speed with SpecTec
Youn, Dongjun, Shin, Wonho, Lee, Jaehyun, Ryu, Sukyoung, Breitner, Joachim, Gardner, Philippa, Lindley, Sam, Pretnar, Matija, Rao, Xiaojia, Watt, Conrad, Rossberg, Andreas
Published in Proceedings of ACM on programming languages (20.06.2024)
Published in Proceedings of ACM on programming languages (20.06.2024)
Get full text
Journal Article
분산 네트워크의 계산 결과에 대한 판독 액세스
WILLIAMS DOMINIC, ROSSBERG ANDREAS, CAMENISCH JAN, MCCAULEY MACK, WOS MACIEJ, GRANSTROM JOHAN
Year of Publication 17.06.2022
Get full text
Year of Publication 17.06.2022
Patent
Continuing WebAssembly with Effect Handlers
Phipps-Costin, Luna, Rossberg, Andreas, Guha, Arjun, Leijen, Daan, Hillerström, Daniel, Sivaramakrishnan, KC, Pretnar, Matija, Lindley, Sam
Year of Publication 16.08.2023
Year of Publication 16.08.2023
Get full text
Journal Article