dev_compiler icon indicating copy to clipboard operation
dev_compiler copied to clipboard

Published 20 hours ago • verified publisher icon dart-archive

Document DDC type system

Open vsmenon opened this issue 10 years ago • 1 comments

Formalize and document the DDC type system / subtyping rules.

vsmenon avatar Jun 23 '15 20:06 vsmenon

Fairly extensive initial draft here:

https://dart-lang.github.io/dev_compiler/strong-dart.pdf

leafpetersen avatar Aug 15 '15 00:08 leafpetersen