会员服务
TypeScript is a language for application-scale JavaScript development.TypeScript is a typed superset of JavaScript that compiles to plain JavaScript. typescriptlang.org/
A Type System for Data Flow and Alias Analysis in ReScript
Arxiv
0+阅读 · 10月31日
A type system for data flow and alias analysis in ReScript
Arxiv
0+阅读 · 8月21日
Activation Steering for Robust Type Prediction in CodeLLMs
Arxiv
0+阅读 · 4月2日
Three Quantum Programming Language Parser Implementations for the Web
Arxiv
0+阅读 · 2023年10月16日
Interactive, Iterative, Tooled, Rule-Based Migration of Microsoft Access to Web Technologies
Arxiv
0+阅读 · 2023年9月7日
Using the TypeScript compiler to fix erroneous Node.js snippets
Arxiv
0+阅读 · 2023年8月23日
Do Machine Learning Models Produce TypeScript Types That Type Check?
Arxiv
0+阅读 · 2023年7月11日
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
Arxiv
0+阅读 · 2023年6月15日
Type Prediction With Program Decomposition and Fill-in-the-Type Training
Arxiv
0+阅读 · 2023年5月25日
TypeScript's Evolution: An Analysis of Feature Adoption Over Time
Arxiv
0+阅读 · 2023年3月17日
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Arxiv
1+阅读 · 2023年2月23日
Do Machine Learning Models Produce TypeScript Types that Type Check?
Arxiv
0+阅读 · 2023年2月23日
Collabs: Composable Collaborative Data Structures
Arxiv
0+阅读 · 2022年12月5日
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Arxiv
0+阅读 · 2022年9月15日
Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version
Arxiv
0+阅读 · 2022年5月13日
参考链接
父主题
前端开发
JavaScript 框架
微信扫码咨询专知VIP会员
Top