Indexed Types for a Statically Safe WebAssembly
Abstract
References
Index Terms
- Indexed Types for a Statically Safe WebAssembly
Recommendations
Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types
Bidirectional typechecking, in which terms either synthesize a type or are checked against a known type, has become popular for its applicability to a variety of type systems, its error reporting, and its ease of implementation. Following principles from ...
A simpler encoding of indexed types
TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven DevelopmentIn functional programming languages, generalized algebraic data types (GADTs) are very useful as the unnecessary pattern matching over them can be ruled out by the failure of unification of type arguments. In dependent type systems, this is usually ...
Accelerate JavaScript applications by cross-compiling to WebAssembly
VMIL 2017: Proceedings of the 9th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate LanguagesAlthough the performance of today's JavaScript engines is sufficient for most web applications, faster and more predictable runtimes could be desired for performance-critical web code. Therefore, we present Speedy.js, a cross-compiler that translates ...
Comments
Information & Contributors
Information
Published In
![cover image Proceedings of the ACM on Programming Languages](/cms/asset/ec3fa386-2e3f-4498-8efd-8e839c3d8e0c/3554315.cover.jpg)
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Badges
Author Tags
Qualifiers
- Research-article
Funding Sources
- NSERC
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 363Total Downloads
- Downloads (Last 12 months)363
- Downloads (Last 6 weeks)69
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in