Language features

Applied Filters

People

Publications

Conferences

Publication Date

2 Results for: Book/Issue: Scala '19: Proceedings of the Tenth ACM SIGPLAN Symposium on ScalaEdit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,836,941 records)|Limit your search to The ACM Full-Text Collection (774,364 records)

Showing 1 - 2of2 Results

Select All

Export Citations Save to Binder

per page:

Recency

short-paper
July 2019
Towards improved GADT reasoning in Scala
Scala '19: Proceedings of the Tenth ACM SIGPLAN Symposium on ScalaPages 12–16https://doi.org/10.1145/3337932.3338813

Generalized algebraic data types (GADT) have been notoriously difficult to implement correctly in Scala. Both major Scala compilers, Scalac and Dotty, are currently known to have type soundness holes related to them. In particular, covariant GADTs have ...
5
198
Metrics
Total Citations5
Total Downloads198
Last 12 Months25
Last 6 weeks0
Get Access
proceeding
July 2019
Scala '19: Proceedings of the Tenth ACM SIGPLAN Symposium on Scala
The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language.
23
572
Metrics
Total Citations23
Total Downloads572
Last 12 Months54
Last 6 weeks2