Skip to main content
Theoretical Computer Science
Andreas Rossberg's user avatar
Andreas Rossberg's user avatar
Andreas Rossberg's user avatar
Andreas Rossberg
  • Member for 12 years, 8 months
  • Last seen more than 2 years ago
Profile Activity
Stats
1,320
reputation
7k
reached
10
answers
1
question
Communities
About

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

Previously at Max Planck Institute for Software Systems in Foundations of Programming group; at Google on V8 team; at Dfinity as Principal Researcher in Language team.

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

Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
11
bronze badges
Top tags
View all tags
101
Score
9
Posts
82
Posts %
79
Score
5
Posts
45
Posts %
55
Score
3
Posts
27
Posts %
25
Score
3
Posts
27
Posts %
21
Score
2
Posts
18
Posts %
11
Score
1
Posts
9
Posts %
Top posts
View all questions and answers
answer
48
Type classes vs object interfaces
Jan 14, 2012
answer
14
Is this behavior in a programming language inconsistent?
Jul 19, 2014
answer
11
Proof that the calculus of constructions extended with recursive types isn't strongly normalizing?
Apr 16, 2017
answer
10
Is it reasonable to allow the type of a λ/∀-bound variable to refer to itself?
Sep 28, 2018
answer
7
Extending Hindley-Milner to type mutable references
Mar 20, 2019
question
7
How to define eta-equivalence for F-omega types?
Jan 9, 2012
answer
6
Why would the term "dynamically typed" be considered a misnomer?
Jun 27, 2020
answer
4
Encapsulation of OOP and referential transparency of functional programming
Oct 4, 2021
answer
4
Confusing (to me) statement from "Type Classes in Haskell"
Mar 6, 2012
answer
3
Purely(ish) functional data structure with fast append and forward iteration
Dec 14, 2016
Top network posts
View all network posts
269
What is the motivation for bringing Symbols to ES6?
165
What is dependent typing?
161
Does "untyped" also mean "dynamically typed" in the academic CS world?
81
What's the purpose of an asterisk (*) in ES6 generator functions
62
How to make an iterator out of an ES6 class