Erik Ernst

Erik Ernst

Member of the Dart programming language team, Google LLC
Verified email at cs.au.dk
Cited by 1534
Programming language design type systems semantics formalizations and mechanized proofs virtual classes