Dependent Types for JavaScript
Dependent Types for JavaScript, by Ravi Chugh, David Herman, Ranjit Jhala: We present Dependent JavaScript (DJS), a statically-typed dialect of the imperative, object-oriented, dynamic language. DJS...
View ArticleLinks for 2013-03-23
dumping a JVM heap using gdb now this is a neat trick — having been stuck having to flip to spares and do other antics while a long-running heap dump took place, this is a winner. Dumping a JVM’s heap...
View ArticleBlue’s Clues: Sync more with Windows "Blue"
As Paul posted, Microsoft is adding the Start Screen to the list of features synchronized between your Windows PCs. But that’s not the only addition. Rummaging around in the registry reveals a heap of...
View ArticleBrand Manager : Wizards of the Coast Licensing Approvals Team Senior Creative...
Brand Manager : Wizards of the Coast Licensing Approvals Team Senior Creative Director…. Index Accessing Cards…………………. 18 Action…………………………… 12, 15 Action Phase……………………… 12 Corporation………………….. 12...
View Article
