user avatar
user avatar
user avatar
Andreas Rossberg
  • Member for 10 years, 4 months
  • Last seen more than a month ago
47 votes
Accepted

Type classes vs object interfaces

14 votes
Accepted

Is this behavior in a programming language inconsistent?

10 votes

Is it reasonable to allow the type of a λ/∀-bound variable to refer to itself?

9 votes

Proof that the calculus of constructions extended with recursive types isn't strongly normalizing?

7 votes

Extending Hindley-Milner to type mutable references

6 votes
Accepted

Why would the term "dynamically typed" be considered a misnomer?

4 votes

Encapsulation of OOP and referential transparency of functional programming

4 votes
Accepted

Confusing (to me) statement from "Type Classes in Haskell"

3 votes

Purely(ish) functional data structure with fast append and forward iteration

1 vote

Soundness of type (systems)