claudepache - Overview
Navigation Menu
Popular repositories Loading
-
A model for expressing invariants of internal methods in ECMAScript and its application to Proxies
claudepache - Overview
A model for expressing invariants of internal methods in ECMAScript and its application to Proxies