Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10329223 | Electronic Notes in Theoretical Computer Science | 2005 | 22 Pages |
Abstract
We demonstrate our type system with a formalism of JavaScript, JS0. Our types are structural. Members of an object type are classified into definite and potential. A potential member becomes definite upon assignment. We outline a proof that our type system is sound.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Christopher Anderson, Paola Giannini,