Andreas Rossberg

Andreas Rossberg has asked 0 questions and find answers to 155 problems.

Stats

About

Researcher and engineer in programming language semantics, type systems, module systems, functional programming, compilers, virtual machines

Working for Dfinity; previously at Google on V8 team; previously at Max Planck Institute for Software Systems in Foundations of Programming group.

Co-designer of and spec author for WebAssembly, member of Wasm WG; previously member of the EcmaScript committee.

Andreas Rossberg questions

Andreas Rossberg answers

SML Option Monad (bind operator not working)
Why don't imperative languages have pattern matching?
Parametrized module types
Why do types 'a and ''Z not match up in SML?
OCaml syntax error in function
Why can't I add type constraints when implementing a module type?
datatype Nt = int | string in ML
Nested case statements in SML
Haskell equivalent of -rectypes
`this` in global scope in ECMAScript 6