The implementation of the Mezzo type-checker
Abstract
References
Recommendations
The ruby type checker
SAC '13: Proceedings of the 28th Annual ACM Symposium on Applied ComputingWe present the Ruby Type Checker (rtc), a tool that adds type checking to Ruby, an object-oriented, dynamic scripting language. Rtc is implemented as a Ruby library in which all type checking occurs at run time; thus it checks types later than a purely ...
Type debugging with counter-factual type error messages using an existing type checker
IFL '19: Proceedings of the 31st Symposium on Implementation and Application of Functional LanguagesThe cause of a type error can be very difficult to find for the Hindley-Milner type system. Consequently many solutions have been proposed, but they are hardly used in practice. Here we propose a new solution that provides counter-factual type error ...
Stitch: the sound type-indexed type checker (functional pearl)
Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on HaskellA classic example of the power of generalized algebraic datatypes (GADTs) to verify a delicate implementation is the type-indexed expression AST. This functional pearl refreshes this example, casting it in modern Haskell using many of GHC's bells and ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 54Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in